Dave is big. Dave is nice. Dave is red. Fiona is quiet. Gary is quiet. Gary is red. Harry is big. Harry is furry. Harry is red. Harry is round. All green things are red. Red things are green. All furry, quiet things are green. Furry, big things are round. If something is green then it is big. All red, nice things are round. If Harry is green then Harry is quiet. If something is furry then it is quiet.
Harry is big.
@0: Dave is big.[(triple1 OR ((((triple3) -> rule2)) -> rule5))] Dave is nice.[(triple2)] Dave is red.[(triple3)] Fiona is quiet.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Harry is big.[(triple7 OR ((((triple9) -> rule2)) -> rule5) OR ((((triple8 ((triple8) -> rule8)) -> rule3)) -> rule5))] Harry is furry.[(triple8)] Harry is red.[(triple9 OR ((((triple8 ((triple8) -> rule8)) -> rule3)) -> rule1))] Harry is round.[(triple10 OR ((triple8 triple7) -> rule4) OR ((triple8 ((((triple9) -> rule2)) -> rule5)) -> rule4) OR ((triple8 ((((triple8 ((triple8) -> rule8)) -> rule3)) -> rule5)) -> rule4))] @1: Dave is green.[(((triple3) -> rule2))] Dave is round.[(((triple3 triple2) -> rule6))] Gary is green.[(((triple6) -> rule2))] Harry is green.[(((triple9) -> rule2) OR ((triple8 ((triple8) -> rule8)) -> rule3))] Harry is quiet.[(((triple8) -> rule8) OR ((((triple9) -> rule2)) -> rule7))] @2: Gary is big.[(((((triple6) -> rule2)) -> rule5))]