Charlie is big. Charlie is furry. Charlie is smart. Charlie is white. Fiona is big. Fiona is furry. Fiona is green. Fiona is smart. Gary is big. Gary is not furry. Gary is green. Gary is rough. Gary is smart. Gary is white. Gary is young. If something is smart then it is rough. If something is furry and not rough then it is young. If Gary is rough and Gary is young then Gary is green. If something is furry and not rough then it is not white. If something is big and not furry then it is green. If something is young and smart then it is green.
Fiona is white.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is smart.[(triple8)] Gary is big.[(triple9)] Gary is green.[(triple11 OR ((triple12 triple15) -> rule3) OR ((triple15 triple13) -> rule6) OR ((triple9 triple10) -> rule5) OR ((((triple13) -> rule1) triple15) -> rule3))] Gary is not furry.[(triple10)] Gary is rough.[(triple12 OR ((triple13) -> rule1))] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Charlie is rough.[(((triple3) -> rule1))] Fiona is rough.[(((triple8) -> rule1))]