Bob is cold. Charlie is furry. Dave is not furry. Erin is green. If Erin is red and Erin is not big then Erin is furry. All red things are white. If Charlie is white and Charlie is big then Charlie is green. If something is green then it is red. All green, rough things are furry. If something is red and not green then it is not cold.
Erin is white.
@0: Bob is cold.[(triple1)] Charlie is furry.[(triple2)] Dave is not furry.[(triple3)] Erin is green.[(triple4)] @1: Erin is red.[(((triple4) -> rule4))] @2: Erin is white.[(((((triple4) -> rule4)) -> rule2))]