Bob is smart. Erin is big. Gary is blue. All big, smart people are green. If someone is smart then they are big. If someone is big then they are cold. If Gary is cold and Gary is blue then Gary is green. Green, round people are big. All green people are round.
Erin is not round.
@0: Bob is smart.[(triple1)] Erin is big.[(triple2)] Gary is blue.[(triple3)] @1: Bob is big.[(((triple1) -> rule2))] Erin is cold.[(((triple2) -> rule3))] @2: Bob is cold.[(((((triple1) -> rule2)) -> rule3))] Bob is green.[(((((triple1) -> rule2) triple1) -> rule1))] @3: Bob is round.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule6))]