Anne is big. Anne is round. Bob is nice. Bob is red. Bob is round. Gary is blue. Harry is red. If someone is nice then they are green. All red people are nice. If someone is blue then they are smart. If someone is big and round then they are nice. If someone is blue and red then they are green. Red, green people are nice.
Harry is red.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Bob is nice.[(triple3 OR ((triple4) -> rule2))] Bob is red.[(triple4)] Bob is round.[(triple5)] Gary is blue.[(triple6)] Harry is red.[(triple7)] @1: Anne is nice.[(((triple1 triple2) -> rule4))] Bob is green.[(((triple3) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Gary is smart.[(((triple6) -> rule3))] Harry is nice.[(((triple7) -> rule2))] @2: Anne is green.[(((((triple1 triple2) -> rule4)) -> rule1))] Harry is green.[(((((triple7) -> rule2)) -> rule1))]