Anne is green. Anne is nice. Anne is quiet. Erin is big. Erin is nice. Erin is quiet. Gary is blue. Gary is green. Harry is blue. Harry is green. Harry is kind. Harry is round. If something is kind and blue then it is nice. Nice things are round. If something is round then it is quiet. Blue things are round. Nice things are big. If something is round and quiet then it is kind.
Gary is nice.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((((triple2) -> rule2)) -> rule3))] Erin is big.[(triple4 OR ((triple5) -> rule5))] Erin is nice.[(triple5)] Erin is quiet.[(triple6 OR ((((triple5) -> rule2)) -> rule3))] Gary is blue.[(triple7)] Gary is green.[(triple8)] Harry is blue.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11 OR ((triple12 ((triple12) -> rule3)) -> rule6) OR ((((triple9) -> rule4) ((triple12) -> rule3)) -> rule6) OR ((triple12 ((((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule6))] Harry is round.[(triple12 OR ((triple9) -> rule4) OR ((((triple11 triple9) -> rule1)) -> rule2))] @1: Anne is big.[(((triple2) -> rule5))] Anne is round.[(((triple2) -> rule2))] Erin is round.[(((triple5) -> rule2))] Gary is round.[(((triple7) -> rule4))] Harry is nice.[(((triple11 triple9) -> rule1) OR ((((triple12 ((triple12) -> rule3)) -> rule6) triple9) -> rule1) OR ((((((triple9) -> rule4) ((triple12) -> rule3)) -> rule6) triple9) -> rule1) OR ((((triple12 ((((triple9) -> rule4)) -> rule3)) -> rule6) triple9) -> rule1) OR ((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule6) triple9) -> rule1))] Harry is quiet.[(((triple12) -> rule3) OR ((((triple9) -> rule4)) -> rule3) OR ((((((triple11 triple9) -> rule1)) -> rule2)) -> rule3))] @2: Anne is kind.[(((((triple2) -> rule2) triple3) -> rule6) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule6))] Erin is kind.[(((((triple5) -> rule2) triple6) -> rule6) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule3)) -> rule6))] Gary is quiet.[(((((triple7) -> rule4)) -> rule3))] Harry is big.[(((((triple11 triple9) -> rule1)) -> rule5) OR ((((((triple12 ((triple12) -> rule3)) -> rule6) triple9) -> rule1)) -> rule5) OR ((((((((triple9) -> rule4) ((triple12) -> rule3)) -> rule6) triple9) -> rule1)) -> rule5) OR ((((((triple12 ((((triple9) -> rule4)) -> rule3)) -> rule6) triple9) -> rule1)) -> rule5) OR ((((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule6) triple9) -> rule1)) -> rule5))] @3: Gary is kind.[(((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule3)) -> rule6))] @4: Gary is nice.[(((((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule3)) -> rule6) triple7) -> rule1))] @5: Gary is big.[(((((((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule3)) -> rule6) triple7) -> rule1)) -> rule5))]