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