Anne is green. Anne is nice. Dave is blue. Dave is rough. Gary is big. Gary is nice. Harry is nice. Round, rough things are nice. If something is nice and round then it is big. If Anne is big and Anne is rough then Anne is nice. If something is nice then it is big. If something is rough and kind then it is nice. All big, nice things are round. All kind, big things are nice. If Dave is rough then Dave is blue.
Gary is nice.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Dave is blue.[(triple3 OR ((triple4) -> rule8))] Dave is rough.[(triple4)] Gary is big.[(triple5 OR ((triple6) -> rule4))] Gary is nice.[(triple6)] Harry is nice.[(triple7)] @1: Anne is big.[(((triple2) -> rule4))] Gary is round.[(((triple5 triple6) -> rule6) OR ((((triple6) -> rule4) triple6) -> rule6))] Harry is big.[(((triple7) -> rule4))] @2: Anne is round.[(((((triple2) -> rule4) triple2) -> rule6))] Harry is round.[(((((triple7) -> rule4) triple7) -> rule6))]