Bob is blue. Bob is white. Bob is young. Dave is cold. Dave is not nice. Dave is not young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is rough. Fiona is young. Harry is green. Harry is not nice. Harry is white. Harry is young. If Fiona is nice and Fiona is not green then Fiona is rough. If Fiona is cold then Fiona is rough. If something is rough and not blue then it is nice. If something is rough and not blue then it is cold. If Dave is blue then Dave is nice. If Harry is not cold then Harry is not green.
Fiona is young.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Dave is cold.[(triple4)] Dave is not nice.[(triple5)] Dave is not young.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is rough.[(triple11 OR ((triple8) -> rule2))] Fiona is young.[(triple12)] Harry is green.[(triple13)] Harry is not nice.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]