Anne is big. Erin is big. Gary is red. Gary is rough. Harry is not big. Harry is not nice. Harry is not young. If something is nice then it is red. If something is nice then it is red. If something is young and big then it is red. If Gary is nice then Gary is big. If Erin is red and Erin is nice then Erin is rough. All big things are young. Round things are rough. All red things are nice. All rough things are not round.
Harry is big.
@0: Anne is big.[(triple1)] Erin is big.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4)] Harry is not big.[(triple5)] Harry is not nice.[(triple6)] Harry is not young.[(triple7)] @1: Anne is young.[(((triple1) -> rule6))] Erin is young.[(((triple2) -> rule6))] Gary is nice.[(((triple3) -> rule8))] Gary is not round.[(((triple4) -> rule9))] @2: Anne is red.[(((((triple1) -> rule6) triple1) -> rule3))] Erin is red.[(((((triple2) -> rule6) triple2) -> rule3))] Gary is big.[(((((triple3) -> rule8)) -> rule4))] @3: Anne is nice.[(((((((triple1) -> rule6) triple1) -> rule3)) -> rule8))] Erin is nice.[(((((((triple2) -> rule6) triple2) -> rule3)) -> rule8))] Gary is young.[(((((((triple3) -> rule8)) -> rule4)) -> rule6))] @4: Erin is rough.[(((((((triple2) -> rule6) triple2) -> rule3) ((((((triple2) -> rule6) triple2) -> rule3)) -> rule8)) -> rule5))] @5: Erin is not round.[(((((((((triple2) -> rule6) triple2) -> rule3) ((((((triple2) -> rule6) triple2) -> rule3)) -> rule8)) -> rule5)) -> rule9))]