Bob is blue. Bob is green. Bob is nice. Bob is round. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is red. Harry is round. If something is round and red then it is blue. All big things are round. If something is green and big then it is furry. Blue, round things are red. If something is big and green then it is round. Round things are nice.
Harry is not round.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple4) -> rule6))] Bob is round.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6 OR ((triple10 triple9) -> rule1) OR ((((triple5) -> rule2) triple9) -> rule1) OR ((((triple5 triple8) -> rule5) triple9) -> rule1))] Harry is furry.[(triple7 OR ((triple8 triple5) -> rule3))] Harry is green.[(triple8)] Harry is red.[(triple9 OR ((triple6 triple10) -> rule4) OR ((triple6 ((triple5) -> rule2)) -> rule4) OR ((triple6 ((triple5 triple8) -> rule5)) -> rule4))] Harry is round.[(triple10 OR ((triple5) -> rule2) OR ((triple5 triple8) -> rule5))] @1: Bob is red.[(((triple1 triple4) -> rule4))] Harry is nice.[(((triple10) -> rule6) OR ((((triple5) -> rule2)) -> rule6) OR ((((triple5 triple8) -> rule5)) -> rule6))]