Anne is blue. Anne is not cold. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is young. Bob is blue. Bob is not cold. Bob is not quiet. Bob is round. Bob is young. Fiona is nice. Fiona is red. Fiona is not round. Fiona is young. Cold, nice things are red. Blue things are red. If Fiona is quiet and Fiona is young then Fiona is blue.
Fiona is not nice.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple3)] Anne is not cold.[(triple2)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple1) -> rule2))] Anne is round.[(triple6)] Anne is young.[(triple7)] Bob is blue.[(triple8)] Bob is not cold.[(triple9)] Bob is not quiet.[(triple10)] Bob is round.[(triple11)] Bob is young.[(triple12)] Fiona is nice.[(triple13)] Fiona is not round.[(triple15)] Fiona is red.[(triple14)] Fiona is young.[(triple16)] @1: Bob is red.[(((triple8) -> rule2))]