Anne is quiet. Anne is round. Fiona is big. Fiona is not cold. Fiona is kind. Fiona is quiet. Fiona is round. If something is red then it is kind. If something is red then it is cold. Big things are white. If something is red and quiet then it is round. All cold things are not red. If something is big and kind then it is not red.
Anne is big.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Fiona is big.[(triple3)] Fiona is kind.[(triple5)] Fiona is not cold.[(triple4)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is not red.[(((triple3 triple5) -> rule6))] Fiona is white.[(((triple3) -> rule3))]