Bob is kind. Erin is nice. Erin is white. Fiona is big. Fiona is green. Harry is cold. Harry is furry. All kind, white things are cold. If something is nice then it is kind.
Fiona is not kind.
@0: Bob is kind.[(triple1)] Erin is nice.[(triple2)] Erin is white.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7)] @1: Erin is kind.[(((triple2) -> rule2))] @2: Erin is cold.[(((((triple2) -> rule2) triple3) -> rule1))]