Anne is nice. Anne is quiet. Gary is furry. Gary is green. Gary is red. Harry is green. Harry is quiet. All furry people are nice. If someone is red then they are rough. If Harry is big then Harry is furry. If someone is nice and rough then they are green. If someone is green then they are rough. All green, rough people are big.
Harry is not big.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4 OR ((((triple3) -> rule1) ((triple5) -> rule2)) -> rule4))] Gary is red.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)] @1: Gary is nice.[(((triple3) -> rule1))] Gary is rough.[(((triple4) -> rule5) OR ((triple5) -> rule2))] Harry is rough.[(((triple6) -> rule5))] @2: Gary is big.[(((triple4 ((triple4) -> rule5)) -> rule6) OR ((triple4 ((triple5) -> rule2)) -> rule6) OR ((((((triple3) -> rule1) ((triple5) -> rule2)) -> rule4) ((triple4) -> rule5)) -> rule6) OR ((((((triple3) -> rule1) ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule6))] Harry is big.[(((triple6 ((triple6) -> rule5)) -> rule6))] @3: Harry is furry.[(((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule3))] @4: Harry is nice.[(((((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule3)) -> rule1))]