Bob is kind. Charlie is green. Charlie is kind. Charlie is young. Dave is young. Erin is big. Erin is young. All white, green people are young. All rough, kind people are big. If someone is green then they are young. Young people are rough. Big, rough people are furry. Kind people are green.
Dave is white.
@0: Bob is kind.[(triple1)] Charlie is green.[(triple2 OR ((triple3) -> rule6))] Charlie is kind.[(triple3)] Charlie is young.[(triple4 OR ((triple2) -> rule3) OR ((((triple3) -> rule6)) -> rule3))] Dave is young.[(triple5)] Erin is big.[(triple6)] Erin is young.[(triple7)] @1: Bob is green.[(((triple1) -> rule6))] Charlie is rough.[(((triple4) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((((triple3) -> rule6)) -> rule3)) -> rule4))] Dave is rough.[(((triple5) -> rule4))] Erin is rough.[(((triple7) -> rule4))] @2: Bob is young.[(((((triple1) -> rule6)) -> rule3))] Charlie is big.[(((((triple4) -> rule4) triple3) -> rule2) OR ((((((triple2) -> rule3)) -> rule4) triple3) -> rule2) OR ((((((((triple3) -> rule6)) -> rule3)) -> rule4) triple3) -> rule2))] Erin is furry.[(((triple6 ((triple7) -> rule4)) -> rule5))] @3: Bob is rough.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))] Charlie is furry.[(((((((triple4) -> rule4) triple3) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) triple3) -> rule2) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple3) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) triple3) -> rule2) ((((((triple3) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple3) -> rule2) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple3) -> rule2) ((((((triple3) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule3)) -> rule4) triple3) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule3)) -> rule4) triple3) -> rule2) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule3)) -> rule4) triple3) -> rule2) ((((((triple3) -> rule6)) -> rule3)) -> rule4)) -> rule5))] @4: Bob is big.[(((((((((triple1) -> rule6)) -> rule3)) -> rule4) triple1) -> rule2))] @5: Bob is furry.[(((((((((((triple1) -> rule6)) -> rule3)) -> rule4) triple1) -> rule2) ((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5))]