Anne is nice. Anne is rough. Anne is white. Dave is big. Dave is young. Gary is big. Gary is white. All nice, white things are big. If something is big then it is nice. If Dave is nice and Dave is not young then Dave is blue. Nice things are rough. All young things are not kind. All rough things are blue. All young things are blue. If something is young and not big then it is blue.
Dave is rough.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule4))] Anne is white.[(triple3)] Dave is big.[(triple4)] Dave is young.[(triple5)] Gary is big.[(triple6)] Gary is white.[(triple7)] @1: Anne is big.[(((triple1 triple3) -> rule1))] Anne is blue.[(((triple2) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Dave is blue.[(((triple5) -> rule7) OR ((((((triple4) -> rule2)) -> rule4)) -> rule6))] Dave is nice.[(((triple4) -> rule2))] Dave is not kind.[(((triple5) -> rule5))] Gary is nice.[(((triple6) -> rule2))] @2: Dave is rough.[(((((triple4) -> rule2)) -> rule4))] Gary is rough.[(((((triple6) -> rule2)) -> rule4))] @3: Gary is blue.[(((((((triple6) -> rule2)) -> rule4)) -> rule6))]