Bob is big. Bob is white. Fiona is not big. Gary is big. Gary is nice. Harry is blue. Harry is rough. If something is big and not nice then it is white. Round, big things are white. If something is white then it is green. All blue, big things are green. All nice, big things are round. All big things are rough. If Harry is round and Harry is nice then Harry is not rough. If something is round then it is blue.
Harry is big.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Fiona is not big.[(triple3)] Gary is big.[(triple4)] Gary is nice.[(triple5)] Harry is blue.[(triple6)] Harry is rough.[(triple7)] @1: Bob is green.[(((triple2) -> rule3))] Bob is rough.[(((triple1) -> rule6))] Gary is rough.[(((triple4) -> rule6))] Gary is round.[(((triple5 triple4) -> rule5))] @2: Gary is blue.[(((((triple5 triple4) -> rule5)) -> rule8))] Gary is white.[(((((triple5 triple4) -> rule5) triple4) -> rule2))] @3: Gary is green.[(((((((triple5 triple4) -> rule5) triple4) -> rule2)) -> rule3) OR ((((((triple5 triple4) -> rule5)) -> rule8) triple4) -> rule4))]