Bob is big. Charlie is smart. Erin is kind. Gary is rough. All smart things are furry. Smart things are not kind. If something is furry and not kind then it is rough. If something is big then it is cold. Kind things are not cold. All rough, smart things are blue. Smart, blue things are big. If something is smart and furry then it is big.
Gary is not rough.
@0: Bob is big.[(triple1)] Charlie is smart.[(triple2)] Erin is kind.[(triple3)] Gary is rough.[(triple4)] @1: Bob is cold.[(((triple1) -> rule4))] Charlie is furry.[(((triple2) -> rule1))] Charlie is not kind.[(((triple2) -> rule2))] Erin is not cold.[(((triple3) -> rule5))] @2: Charlie is big.[(((triple2 ((triple2) -> rule1)) -> rule8) OR ((triple2 ((((((triple2) -> rule1) ((triple2) -> rule2)) -> rule3) triple2) -> rule6)) -> rule7))] Charlie is rough.[(((((triple2) -> rule1) ((triple2) -> rule2)) -> rule3))] @3: Charlie is blue.[(((((((triple2) -> rule1) ((triple2) -> rule2)) -> rule3) triple2) -> rule6))] Charlie is cold.[(((((triple2 ((triple2) -> rule1)) -> rule8)) -> rule4) OR ((((triple2 ((((((triple2) -> rule1) ((triple2) -> rule2)) -> rule3) triple2) -> rule6)) -> rule7)) -> rule4))]