Bob is rough. Charlie is cold. Charlie is not furry. Charlie is not green. Erin is furry. Gary is not kind. Gary is rough. Quiet people are green. All furry people are green. If someone is big then they are green. All kind people are green. If someone is green then they are cold. All cold people are rough.
Gary is not cold.
@0: Bob is rough.[(triple1)] Charlie is cold.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not green.[(triple4)] Erin is furry.[(triple5)] Gary is not kind.[(triple6)] Gary is rough.[(triple7)] @1: Charlie is rough.[(((triple2) -> rule6))] Erin is green.[(((triple5) -> rule2))] @2: Erin is cold.[(((((triple5) -> rule2)) -> rule5))] @3: Erin is rough.[(((((((triple5) -> rule2)) -> rule5)) -> rule6))]