Dave is cold. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is cold. Erin is red. Erin is rough. Erin is round. Erin is smart. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. All smart things are red. All round, cold things are white. Round, white things are red.
Fiona is not smart.
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5 OR ((triple3 triple1) -> rule2))] Erin is cold.[(triple6)] Erin is red.[(triple7 OR ((triple10) -> rule1) OR ((triple9 ((triple9 triple6) -> rule2)) -> rule3))] Erin is rough.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Fiona is kind.[(triple11)] Fiona is red.[(triple12 OR ((triple14 triple15) -> rule3))] Fiona is rough.[(triple13)] Fiona is round.[(triple14)] Fiona is white.[(triple15)] @1: Dave is red.[(((triple4) -> rule1) OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple3 triple1) -> rule2)) -> rule3))] Erin is white.[(((triple9 triple6) -> rule2))]