Bob is cold. Dave is cold. Dave is rough. Dave is smart. Dave is white. Fiona is not big. Fiona is kind. Fiona is not rough. Harry is smart. Harry is white. All red, kind things are rough. White things are not big. If something is smart and not kind then it is red. Kind, cold things are red. All cold, big things are smart. If Harry is big and Harry is red then Harry is cold.
Dave is kind.
@0: Bob is cold.[(triple1)] Dave is cold.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Fiona is kind.[(triple7)] Fiona is not big.[(triple6)] Fiona is not rough.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Dave is not big.[(((triple5) -> rule2))] Harry is not big.[(((triple10) -> rule2))]