Anne is white. Dave is green. Fiona is not green. Fiona is red. Fiona is smart. Gary is cold. Gary is white. If something is white then it is green. Nice things are smart. If Dave is green then Dave is nice. All smart things are not white. If something is smart and not cold then it is big. If something is red then it is nice.
Dave is big.
@0: Anne is white.[(triple1)] Dave is green.[(triple2)] Fiona is not green.[(triple3)] Fiona is red.[(triple4)] Fiona is smart.[(triple5 OR ((((triple4) -> rule6)) -> rule2))] Gary is cold.[(triple6)] Gary is white.[(triple7)] @1: Anne is green.[(((triple1) -> rule1))] Dave is nice.[(((triple2) -> rule3))] Fiona is nice.[(((triple4) -> rule6))] Fiona is not white.[(((triple5) -> rule4) OR ((((((triple4) -> rule6)) -> rule2)) -> rule4))] Gary is green.[(((triple7) -> rule1))] @2: Dave is smart.[(((((triple2) -> rule3)) -> rule2))] @3: Dave is not white.[(((((((triple2) -> rule3)) -> rule2)) -> rule4))]