Dave is blue. Dave is cold. Dave is nice. Fiona is not big. Fiona is blue. Fiona is nice. Fiona is smart. Gary is big. Gary is cold. Gary is smart. Harry is not blue. Harry is smart. If something is big and not quiet then it is cold. Nice, blue things are cold. If something is rough and not big then it is not cold. If something is rough then it is cold. If Gary is rough then Gary is not blue. All nice, big things are rough.
Dave is not rough.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3 triple1) -> rule2))] Dave is nice.[(triple3)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is not big.[(triple4)] Fiona is smart.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is smart.[(triple10)] Harry is not blue.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is cold.[(((triple6 triple5) -> rule2))]