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