Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Fiona is not blue. Fiona is cold. Fiona is not furry. Fiona is quiet. Fiona is red. Fiona is rough. Red people are cold. If Fiona is blue then Fiona is furry. If someone is cold and big then they are red.
Fiona is not rough.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Fiona is cold.[(triple6 OR ((triple9) -> rule1))] Fiona is not blue.[(triple5)] Fiona is not furry.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)]