Anne is cold. Bob is big. Charlie is big. Gary is cold. If Bob is cold then Bob is rough. If Charlie is big then Charlie is furry. If Charlie is green then Charlie is not kind. If Charlie is cold then Charlie is rough. If Bob is rough and Bob is green then Bob is not furry. If something is green and not big then it is kind. Furry, big things are kind. Big, kind things are rough.
Charlie is furry.
@0: Anne is cold.[(triple1)] Bob is big.[(triple2)] Charlie is big.[(triple3)] Gary is cold.[(triple4)] @1: Charlie is furry.[(((triple3) -> rule2))] @2: Charlie is kind.[(((((triple3) -> rule2) triple3) -> rule7))] @3: Charlie is rough.[(((triple3 ((((triple3) -> rule2) triple3) -> rule7)) -> rule8))]