Bob is green. Bob is nice. Charlie is green. Charlie is kind. Charlie is not young. Gary is big. Gary is not quiet. All white, big people are nice. Nice, big people are not young. If someone is quiet then they are not big. All nice people are big. Big people are white. If Charlie is quiet and Charlie is young then Charlie is nice.
Bob is not big.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is not young.[(triple5)] Gary is big.[(triple6)] Gary is not quiet.[(triple7)] @1: Bob is big.[(((triple2) -> rule4))] Gary is white.[(((triple6) -> rule5))] @2: Bob is not young.[(((triple2 ((triple2) -> rule4)) -> rule2))] Bob is white.[(((((triple2) -> rule4)) -> rule5))] Gary is nice.[(((((triple6) -> rule5) triple6) -> rule1))] @3: Gary is not young.[(((((((triple6) -> rule5) triple6) -> rule1) triple6) -> rule2))]