Anne is quiet. Anne is white. Dave is blue. Dave is young. Fiona is big. Fiona is blue. Fiona is cold. Harry is blue. Harry is quiet. Harry is young. All big, cold things are blue. All cold things are big. If something is young then it is big. If something is white then it is red. If something is blue and red then it is white. If Fiona is cold and Fiona is white then Fiona is blue.
Fiona is quiet.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Dave is blue.[(triple3)] Dave is young.[(triple4)] Fiona is big.[(triple5 OR ((triple7) -> rule2))] Fiona is blue.[(triple6 OR ((triple5 triple7) -> rule1) OR ((((triple7) -> rule2) triple7) -> rule1))] Fiona is cold.[(triple7)] Harry is blue.[(triple8)] Harry is quiet.[(triple9)] Harry is young.[(triple10)] @1: Anne is red.[(((triple2) -> rule4))] Dave is big.[(((triple4) -> rule3))] Harry is big.[(((triple10) -> rule3))]