Task: Fact Verification
Input (English): Paragraph: Charlie is round. Bob is smart. Bob is green. Big people are round. All big, red people are smart. Charlie is green. Blue people are red. Bob is red. Charlie is red. Charlie is big. All big people are quiet. Bob is round. If someone is blue and quiet then they are green. All green, blue people are not round. If someone is smart then they are quiet. Charlie is not blue. Bob is big. If someone is round and not red then they are green. Charlie is smart. Charlie is quiet.     Question: Charlie is big.
Output (English): True