Anne is not big. Charlie is cold. Fiona is cold. Smart people are not nice. Big, white people are not nice. If someone is cold then they are nice. If someone is furry then they are white. If Fiona is cold and Fiona is big then Fiona is smart. If someone is nice then they are furry.
Fiona is nice.
@0: Anne is not big.[(triple1)] Charlie is cold.[(triple2)] Fiona is cold.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule3))] Fiona is nice.[(((triple3) -> rule3))] @2: Charlie is furry.[(((((triple2) -> rule3)) -> rule6))] Fiona is furry.[(((((triple3) -> rule3)) -> rule6))] @3: Charlie is white.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))] Fiona is white.[(((((((triple3) -> rule3)) -> rule6)) -> rule4))]