Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is not white. Fiona is nice. Fiona is quiet. Fiona is not smart. Fiona is white. Gary is not cold. Gary is not nice. Gary is quiet. Gary is red. Gary is not smart. Gary is white. If Fiona is smart and Fiona is big then Fiona is not nice. All quiet things are not big. Nice things are cold.
Dave is not quiet.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule3))] Dave is nice.[(triple2)] Dave is not white.[(triple5)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Fiona is nice.[(triple6)] Fiona is not smart.[(triple8)] Fiona is quiet.[(triple7)] Fiona is white.[(triple9)] Gary is not cold.[(triple10)] Gary is not nice.[(triple11)] Gary is not smart.[(triple14)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is white.[(triple15)] @1: Dave is not big.[(((triple3) -> rule2))] Fiona is cold.[(((triple6) -> rule3))] Fiona is not big.[(((triple7) -> rule2))] Gary is not big.[(((triple12) -> rule2))]