Bob is big. Bob is red. Bob is white. Dave is red. Erin is cold. Gary is quiet. Gary is rough. If something is cold then it is rough. All white, red things are quiet. If Erin is cold then Erin is white. If something is furry and cold then it is white. If Gary is quiet then Gary is big. If something is furry then it is rough. Cold, rough things are red. If Gary is red then Gary is cold.
Bob is not cold.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Dave is red.[(triple4)] Erin is cold.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] @1: Bob is quiet.[(((triple3 triple2) -> rule2))] Erin is rough.[(((triple5) -> rule1))] Erin is white.[(((triple5) -> rule3))] Gary is big.[(((triple6) -> rule5))] @2: Erin is red.[(((triple5 ((triple5) -> rule1)) -> rule7))] @3: Erin is quiet.[(((((triple5) -> rule3) ((triple5 ((triple5) -> rule1)) -> rule7)) -> rule2))]