Anne is nice. Anne is rough. Anne is white. Charlie is big. Charlie is green. Charlie is not rough. Erin is green. Erin is rough. Erin is young. Gary is big. Gary is green. Gary is nice. Gary is rough. Gary is smart. Gary is white. Gary is not young. All big things are nice. If Charlie is nice then Charlie is white. If Erin is green then Erin is smart. All green, white things are smart. White things are smart. If something is young and not white then it is smart.
Gary is big.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Charlie is not rough.[(triple6)] Erin is green.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12 OR ((triple10) -> rule1))] Gary is not young.[(triple16)] Gary is rough.[(triple13)] Gary is smart.[(triple14 OR ((triple15) -> rule5) OR ((triple11 triple15) -> rule4))] Gary is white.[(triple15)] @1: Anne is smart.[(((triple3) -> rule5))] Charlie is nice.[(((triple4) -> rule1))] Erin is smart.[(((triple7) -> rule3))] @2: Charlie is white.[(((((triple4) -> rule1)) -> rule2))] @3: Charlie is smart.[(((((((triple4) -> rule1)) -> rule2)) -> rule5) OR ((triple5 ((((triple4) -> rule1)) -> rule2)) -> rule4))]