Dave is big. Dave is red. Fiona is cold. Fiona is smart. Gary is rough. Harry is quiet. Harry is smart. If someone is smart and quiet then they are big. If someone is smart and red then they are big. All rough people are red. If Harry is blue then Harry is cold. If Dave is red then Dave is cold. If someone is blue and rough then they are quiet. All rough people are not blue. If Harry is blue then Harry is big.
Fiona is not red.
@0: Dave is big.[(triple1)] Dave is red.[(triple2)] Fiona is cold.[(triple3)] Fiona is smart.[(triple4)] Gary is rough.[(triple5)] Harry is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Dave is cold.[(((triple2) -> rule5))] Gary is not blue.[(((triple5) -> rule7))] Gary is red.[(((triple5) -> rule3))] Harry is big.[(((triple7 triple6) -> rule1))]