Bob is furry. Bob is nice. Bob is red. Bob is round. Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is young. Harry is blue. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is young. If something is green and round then it is nice. If something is red and green then it is round.
Gary is young.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9 OR ((triple8 triple7) -> rule2))] Gary is young.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15 OR ((triple14 triple13) -> rule2))] Harry is young.[(triple16)] @1: Gary is nice.[(((triple7 triple9) -> rule1) OR ((triple7 ((triple8 triple7) -> rule2)) -> rule1))] Harry is nice.[(((triple13 triple15) -> rule1) OR ((triple13 ((triple14 triple13) -> rule2)) -> rule1))]