Bob is cold. Bob is red. Charlie is blue. Erin is not furry. Gary is not blue. Gary is kind. Gary is nice. If something is big and red then it is furry. If something is cold then it is blue. Blue things are big.
Charlie is not big.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Charlie is blue.[(triple3)] Erin is not furry.[(triple4)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is not blue.[(triple5)] @1: Bob is blue.[(((triple1) -> rule2))] Charlie is big.[(((triple3) -> rule3))] @2: Bob is big.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is furry.[(((((((triple1) -> rule2)) -> rule3) triple2) -> rule1))]