Anne is kind. Anne is rough. Anne is not round. Charlie is big. Charlie is blue. Charlie is round. Charlie is smart. Fiona is blue. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Gary is big. Gary is kind. Gary is smart. If something is smart then it is big. Smart, white things are big. Round, rough things are blue. If something is round then it is white. Blue things are white. If something is smart and round then it is rough.
Charlie is not white.
@0: Anne is kind.[(triple1)] Anne is not round.[(triple3)] Anne is rough.[(triple2)] Charlie is big.[(triple4 OR ((triple7) -> rule1) OR ((triple7 ((triple5) -> rule5)) -> rule2) OR ((triple7 ((triple6) -> rule4)) -> rule2) OR ((triple7 ((((triple6 ((triple7 triple6) -> rule6)) -> rule3)) -> rule5)) -> rule2))] Charlie is blue.[(triple5 OR ((triple6 ((triple7 triple6) -> rule6)) -> rule3))] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12 OR ((triple8) -> rule5))] Gary is big.[(triple13 OR ((triple15) -> rule1))] Gary is kind.[(triple14)] Gary is smart.[(triple15)] @1: Charlie is rough.[(((triple7 triple6) -> rule6))] Charlie is white.[(((triple5) -> rule5) OR ((triple6) -> rule4) OR ((((triple6 ((triple7 triple6) -> rule6)) -> rule3)) -> rule5))] Fiona is big.[(((triple11) -> rule1) OR ((triple11 triple12) -> rule2) OR ((triple11 ((triple8) -> rule5)) -> rule2))]