Charlie is blue. Charlie is furry. Charlie is not red. Charlie is not rough. Dave is blue. Dave is furry. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Harry is blue. Harry is cold. Harry is furry. Harry is red. If Harry is smart and Harry is blue then Harry is rough. If something is cold then it is smart. If Fiona is cold and Fiona is smart then Fiona is not rough.
Dave is not red.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is not red.[(triple3)] Charlie is not rough.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is furry.[(triple15)] Harry is red.[(triple16)] @1: Harry is smart.[(((triple14) -> rule2))] @2: Harry is rough.[(((((triple14) -> rule2) triple13) -> rule1))]