Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Harry is cold. Harry is nice. Harry is not quiet. Harry is red. Harry is rough. Harry is round. Rough people are round. All cold, nice people are red. All cold, quiet people are not blue. If Harry is nice then Harry is blue. If Harry is blue then Harry is cold. If Harry is cold and Harry is blue then Harry is not quiet.
Fiona is not quiet.
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((triple1 triple2) -> rule2))] Fiona is rough.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule1))] Harry is cold.[(triple7 OR ((((triple8) -> rule4)) -> rule5))] Harry is nice.[(triple8)] Harry is not quiet.[(triple9 OR ((triple7 ((triple8) -> rule4)) -> rule6) OR ((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule6))] Harry is red.[(triple10 OR ((triple7 triple8) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) triple8) -> rule2))] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple11) -> rule1))] @1: Fiona is not blue.[(((triple1 triple3) -> rule3))] Harry is blue.[(((triple8) -> rule4))]