Anne is cold. Anne is green. Anne is rough. Anne is smart. Anne is white. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is rough. Dave is smart. Dave is white. Fiona is cold. Gary is blue. Gary is white. All green things are blue. Cold things are green. If something is rough then it is nice. If something is rough and smart then it is white. If something is smart then it is cold. If Anne is green then Anne is blue.
Dave is rough.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule5))] Anne is green.[(triple2 OR ((triple1) -> rule2) OR ((((triple4) -> rule5)) -> rule2))] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple3 triple4) -> rule4))] Dave is blue.[(triple6 OR ((triple8) -> rule1) OR ((((triple7) -> rule2)) -> rule1) OR ((((((triple11) -> rule5)) -> rule2)) -> rule1))] Dave is cold.[(triple7 OR ((triple11) -> rule5))] Dave is green.[(triple8 OR ((triple7) -> rule2) OR ((((triple11) -> rule5)) -> rule2))] Dave is nice.[(triple9 OR ((triple10) -> rule3))] Dave is rough.[(triple10)] Dave is smart.[(triple11)] Dave is white.[(triple12 OR ((triple10 triple11) -> rule4))] Fiona is cold.[(triple13)] Gary is blue.[(triple14)] Gary is white.[(triple15)] @1: Anne is blue.[(((triple2) -> rule1) OR ((triple2) -> rule6) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule2)) -> rule6) OR ((((((triple4) -> rule5)) -> rule2)) -> rule1) OR ((((((triple4) -> rule5)) -> rule2)) -> rule6))] Anne is nice.[(((triple3) -> rule3))] Fiona is green.[(((triple13) -> rule2))] @2: Fiona is blue.[(((((triple13) -> rule2)) -> rule1))]