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