Anne is furry. Anne is kind. Bob is nice. Charlie is green. Charlie is rough. Gary is furry. Gary is nice. Nice, kind people are big. If Bob is big then Bob is kind. If someone is green then they are kind. If Gary is nice then Gary is green. If Charlie is nice and Charlie is kind then Charlie is rough. Rough people are nice.
Bob is big.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Bob is nice.[(triple3)] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] @1: Charlie is kind.[(((triple4) -> rule3))] Charlie is nice.[(((triple5) -> rule6))] Gary is green.[(((triple7) -> rule4))] @2: Charlie is big.[(((((triple5) -> rule6) ((triple4) -> rule3)) -> rule1))] Gary is kind.[(((((triple7) -> rule4)) -> rule3))] @3: Gary is big.[(((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule1))]