Charlie is kind. Erin is kind. Gary is red. If someone is big then they are cold. All cold people are red. If someone is kind then they are big.
Gary is not big.
@0: Charlie is kind.[(triple1)] Erin is kind.[(triple2)] Gary is red.[(triple3)] @1: Charlie is big.[(((triple1) -> rule3))] Erin is big.[(((triple2) -> rule3))] @2: Charlie is cold.[(((((triple1) -> rule3)) -> rule1))] Erin is cold.[(((((triple2) -> rule3)) -> rule1))] @3: Charlie is red.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))] Erin is red.[(((((((triple2) -> rule3)) -> rule1)) -> rule2))]