Dave is red. Dave is rough. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is young. Gary is young. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is white. If Harry is rough and Harry is nice then Harry is cold. All rough, red people are furry.
Fiona is young.
@0: Dave is red.[(triple1)] Dave is rough.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5)] Fiona is young.[(triple6)] Gary is young.[(triple7)] Harry is cold.[(triple8 OR ((triple11 triple9) -> rule1))] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Dave is furry.[(((triple2 triple1) -> rule2))] Harry is furry.[(((triple11 triple10) -> rule2))]