Fiona is big. Fiona is kind. Fiona is round. Fiona is white. Harry is big. Harry is cold. Harry is white. If someone is big and quiet then they are not green. All cold, big people are round. All white, round people are quiet.
Fiona is white.
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple2)] Fiona is round.[(triple3)] Fiona is white.[(triple4)] Harry is big.[(triple5)] Harry is cold.[(triple6)] Harry is white.[(triple7)] @1: Fiona is quiet.[(((triple4 triple3) -> rule3))] Harry is round.[(((triple6 triple5) -> rule2))] @2: Fiona is not green.[(((triple1 ((triple4 triple3) -> rule3)) -> rule1))] Harry is quiet.[(((triple7 ((triple6 triple5) -> rule2)) -> rule3))] @3: Harry is not green.[(((triple5 ((triple7 ((triple6 triple5) -> rule2)) -> rule3)) -> rule1))]