Charlie is smart. Gary is furry. All smart things are furry. If Gary is smart then Gary is big. If Charlie is furry then Charlie is big. If Charlie is big and Charlie is rough then Charlie is young. Smart, young things are kind. If Charlie is furry then Charlie is young. If Charlie is kind and Charlie is furry then Charlie is smart. Rough, nice things are big.
Charlie is big.
@0: Charlie is smart.[(triple1)] Gary is furry.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule1))] @2: Charlie is big.[(((((triple1) -> rule1)) -> rule3))] Charlie is young.[(((((triple1) -> rule1)) -> rule6))] @3: Charlie is kind.[(((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule5))]