Dave is quiet. Dave is rough. Dave is smart. Dave is white. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is not white. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is white. If Fiona is rough then Fiona is kind. All smart things are rough. If Dave is cold then Dave is not red. All kind things are smart. All quiet, smart things are red. If something is smart and not rough then it is red.
Dave is cold.
@0: Dave is quiet.[(triple1)] Dave is rough.[(triple2 OR ((triple3) -> rule2))] Dave is smart.[(triple3)] Dave is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6 OR ((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Fiona is not white.[(triple11)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8 OR ((triple7 triple10) -> rule5) OR ((triple7 ((triple6) -> rule4)) -> rule5) OR ((triple7 ((((triple9) -> rule1)) -> rule4)) -> rule5))] Fiona is rough.[(triple9 OR ((triple10) -> rule2) OR ((((triple6) -> rule4)) -> rule2))] Fiona is smart.[(triple10 OR ((triple6) -> rule4) OR ((((triple9) -> rule1)) -> rule4))] Gary is quiet.[(triple12)] Gary is red.[(triple13 OR ((triple12 triple15) -> rule5))] Gary is rough.[(triple14 OR ((triple15) -> rule2))] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Dave is red.[(((triple1 triple3) -> rule5))]