Anne is kind. Anne is red. Erin is red. Erin is round. Erin is young. Gary is quiet. Harry is big. Harry is green. Harry is quiet. Harry is round. If Gary is quiet then Gary is green. Quiet people are kind. Green people are young. All young people are big. If someone is green then they are young. If Anne is round and Anne is young then Anne is red.
Erin is not big.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Erin is red.[(triple3)] Erin is round.[(triple4)] Erin is young.[(triple5)] Gary is quiet.[(triple6)] Harry is big.[(triple7 OR ((((triple8) -> rule3)) -> rule4) OR ((((triple8) -> rule5)) -> rule4))] Harry is green.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Erin is big.[(((triple5) -> rule4))] Gary is green.[(((triple6) -> rule1))] Gary is kind.[(((triple6) -> rule2))] Harry is kind.[(((triple9) -> rule2))] Harry is young.[(((triple8) -> rule3) OR ((triple8) -> rule5))] @2: Gary is young.[(((((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule1)) -> rule5))] @3: Gary is big.[(((((((triple6) -> rule1)) -> rule3)) -> rule4) OR ((((((triple6) -> rule1)) -> rule5)) -> rule4))]