Anne is big. Anne is not red. Anne is round. Fiona is not big. Fiona is not kind. Fiona is quiet. Fiona is red. Gary is kind. Gary is red. Gary is smart. Quiet, round things are kind. If something is smart and kind then it is quiet. If something is kind and not red then it is quiet. If something is round and kind then it is blue. All big, smart things are blue. All quiet things are not blue. All round, smart things are big. Quiet things are smart.
Fiona is smart.
@0: Anne is big.[(triple1)] Anne is not red.[(triple2)] Anne is round.[(triple3)] Fiona is not big.[(triple4)] Fiona is not kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Gary is kind.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10)] @1: Fiona is not blue.[(((triple6) -> rule6))] Fiona is smart.[(((triple6) -> rule8))] Gary is quiet.[(((triple10 triple8) -> rule2))] @2: Gary is not blue.[(((((triple10 triple8) -> rule2)) -> rule6))]