Charlie is kind. Harry is big. Furry things are cold. If something is kind then it is furry. If Harry is kind and Harry is quiet then Harry is smart. If something is cold then it is rough. Furry things are big. Rough, smart things are furry.
Harry is cold.
@0: Charlie is kind.[(triple1)] Harry is big.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule2))] @2: Charlie is big.[(((((triple1) -> rule2)) -> rule5))] Charlie is cold.[(((((triple1) -> rule2)) -> rule1))] @3: Charlie is rough.[(((((((triple1) -> rule2)) -> rule1)) -> rule4))]