Anne is big. Anne is furry. Anne is quiet. Anne is red. Anne is white. Anne is young. Fiona is big. Fiona is not quiet. Fiona is red. Fiona is not round. White things are not round. If something is round then it is big. If Fiona is not round then Fiona is not young.
Fiona is red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Fiona is big.[(triple7)] Fiona is not quiet.[(triple8)] Fiona is not round.[(triple10)] Fiona is red.[(triple9)] @1: Anne is not round.[(((triple5) -> rule1))] Fiona is not young.[(((triple10) -> rule3))]