Anne is kind. Bob is big. Fiona is white. If someone is red and white then they are green. If Anne is round and Anne is big then Anne is white. White, big people are green. White people are cold. White, cold people are round. Round people are big.
Fiona is kind.
@0: Anne is kind.[(triple1)] Bob is big.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule4))] @2: Fiona is round.[(((triple3 ((triple3) -> rule4)) -> rule5))] @3: Fiona is big.[(((((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6))] @4: Fiona is green.[(((triple3 ((((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6)) -> rule3))]