Charlie is blue. Erin is smart. Gary is cold. If someone is rough then they are smart. If someone is rough and furry then they are smart. All cold people are red. If Erin is rough then Erin is smart. All red, kind people are not furry. Red people are rough. Smart people are cold. If Erin is red and Erin is furry then Erin is rough.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Erin is smart.[(triple2)] Gary is cold.[(triple3)] @1: Erin is cold.[(((triple2) -> rule7))] Gary is red.[(((triple3) -> rule3))] @2: Erin is red.[(((((triple2) -> rule7)) -> rule3))] Gary is rough.[(((((triple3) -> rule3)) -> rule6))] @3: Erin is rough.[(((((((triple2) -> rule7)) -> rule3)) -> rule6))] Gary is smart.[(((((((triple3) -> rule3)) -> rule6)) -> rule1))]