Anne is nice. Bob is young. Erin is not white. Gary is young. All young people are rough. All rough people are big. If someone is rough and not red then they are big. If Bob is not red then Bob is young. If Gary is kind then Gary is white. All big people are not nice.
Gary is nice.
@0: Anne is nice.[(triple1)] Bob is young.[(triple2)] Erin is not white.[(triple3)] Gary is young.[(triple4)] @1: Bob is rough.[(((triple2) -> rule1))] Gary is rough.[(((triple4) -> rule1))] @2: Bob is big.[(((((triple2) -> rule1)) -> rule2))] Gary is big.[(((((triple4) -> rule1)) -> rule2))] @3: Bob is not nice.[(((((((triple2) -> rule1)) -> rule2)) -> rule6))] Gary is not nice.[(((((((triple4) -> rule1)) -> rule2)) -> rule6))]