Bob is big. Bob is green. Charlie is nice. Erin is big. Erin is young. Gary is green. Gary is quiet. Round people are big. White, young people are green. All big people are quiet. Big people are white. If someone is quiet and green then they are nice. Quiet, big people are round. If Gary is round then Gary is young. If someone is quiet then they are young.
Charlie is young.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((((triple1) -> rule4) ((((triple1) -> rule3)) -> rule8)) -> rule2))] Charlie is nice.[(triple3)] Erin is big.[(triple4)] Erin is young.[(triple5 OR ((((triple4) -> rule3)) -> rule8))] Gary is green.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule3))] Bob is white.[(((triple1) -> rule4))] Erin is quiet.[(((triple4) -> rule3))] Erin is white.[(((triple4) -> rule4))] Gary is nice.[(((triple7 triple6) -> rule5))] Gary is young.[(((triple7) -> rule8))] @2: Bob is nice.[(((((triple1) -> rule3) triple2) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule4) ((((triple1) -> rule3)) -> rule8)) -> rule2)) -> rule5))] Bob is round.[(((((triple1) -> rule3) triple1) -> rule6))] Bob is young.[(((((triple1) -> rule3)) -> rule8))] Erin is green.[(((((triple4) -> rule4) triple5) -> rule2) OR ((((triple4) -> rule4) ((((triple4) -> rule3)) -> rule8)) -> rule2))] Erin is round.[(((((triple4) -> rule3) triple4) -> rule6))] @3: Erin is nice.[(((((triple4) -> rule3) ((((triple4) -> rule4) triple5) -> rule2)) -> rule5) OR ((((triple4) -> rule3) ((((triple4) -> rule4) ((((triple4) -> rule3)) -> rule8)) -> rule2)) -> rule5))]