Anne is big. Erin is red. Fiona is green. Harry is furry. All green, white people are kind. If someone is big and white then they are kind. If someone is smart and red then they are kind. Green people are red. If someone is kind then they are big. All green people are white. If Anne is white then Anne is smart. All furry people are smart.
Fiona is not big.
@0: Anne is big.[(triple1)] Erin is red.[(triple2)] Fiona is green.[(triple3)] Harry is furry.[(triple4)] @1: Fiona is red.[(((triple3) -> rule4))] Fiona is white.[(((triple3) -> rule6))] Harry is smart.[(((triple4) -> rule8))] @2: Fiona is kind.[(((triple3 ((triple3) -> rule6)) -> rule1))] @3: Fiona is big.[(((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5))]