Anne is kind. Bob is cold. Charlie is cold. Erin is big. Big people are cold. Furry people are cold. If someone is big and kind then they are nice. Smart people are furry. If someone is kind and cold then they are quiet. All kind people are big.
Bob is cold.
@0: Anne is kind.[(triple1)] Bob is cold.[(triple2)] Charlie is cold.[(triple3)] Erin is big.[(triple4)] @1: Anne is big.[(((triple1) -> rule6))] Erin is cold.[(((triple4) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule6)) -> rule1))] Anne is nice.[(((((triple1) -> rule6) triple1) -> rule3))] @3: Anne is quiet.[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule5))]