Charlie is big. Charlie is not red. Charlie is young. Erin is not big. Erin is green. Erin is red. Erin is round. Erin is smart. Erin is young. Fiona is big. Fiona is quiet. Fiona is round. Fiona is young. Gary is green. Gary is quiet. Gary is not red. If Gary is young then Gary is big. If Charlie is young and Charlie is not smart then Charlie is not green. If something is big and round then it is red. If Fiona is smart then Fiona is not red. If something is big and not round then it is not quiet. If something is smart then it is quiet. If something is quiet then it is young. All round things are young.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Charlie is not red.[(triple2)] Charlie is young.[(triple3)] Erin is green.[(triple5)] Erin is not big.[(triple4)] Erin is red.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9 OR ((triple7) -> rule8) OR ((((triple8) -> rule6)) -> rule7))] Fiona is big.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Fiona is young.[(triple13 OR ((triple11) -> rule7) OR ((triple12) -> rule8))] Gary is green.[(triple14)] Gary is not red.[(triple16)] Gary is quiet.[(triple15)] @1: Erin is quiet.[(((triple8) -> rule6))] Fiona is red.[(((triple10 triple12) -> rule3))] Gary is young.[(((triple15) -> rule7))] @2: Gary is big.[(((((triple15) -> rule7)) -> rule1))]