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