Bob is nice. Gary is smart. All cold things are green. All smart, green things are big. If something is smart then it is cold. All big things are furry. Big things are red. Nice, smart things are red. If something is big and not furry then it is nice. If something is cold and not smart then it is nice.
Gary is cold.
@0: Bob is nice.[(triple1)] Gary is smart.[(triple2)] @1: Gary is cold.[(((triple2) -> rule3))] @2: Gary is green.[(((((triple2) -> rule3)) -> rule1))] @3: Gary is big.[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule2))] @4: Gary is furry.[(((((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4))] Gary is red.[(((((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule2)) -> rule5))]