Bob is nice. Charlie is rough. Dave is not cold. Erin is furry. All big things are rough. All furry things are nice. All nice things are cold. If something is smart and not big then it is furry. Rough things are furry. Big, nice things are furry. If Erin is big then Erin is smart. If Charlie is furry then Charlie is nice.
Erin is cold.
@0: Bob is nice.[(triple1)] Charlie is rough.[(triple2)] Dave is not cold.[(triple3)] Erin is furry.[(triple4)] @1: Bob is cold.[(((triple1) -> rule3))] Charlie is furry.[(((triple2) -> rule5))] Erin is nice.[(((triple4) -> rule2))] @2: Charlie is nice.[(((((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule8))] Erin is cold.[(((((triple4) -> rule2)) -> rule3))] @3: Charlie is cold.[(((((((triple2) -> rule5)) -> rule2)) -> rule3) OR ((((((triple2) -> rule5)) -> rule8)) -> rule3))]