Bob is big. Bob is furry. Bob is kind. Charlie is big. Erin is big. Harry is big. Harry is kind. All big things are furry. All furry, kind things are rough. If something is blue and furry then it is kind. If Harry is kind then Harry is rough. If something is rough then it is not young. Furry, big things are blue. If Harry is rough and Harry is young then Harry is kind.
Bob is young.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule1))] Bob is kind.[(triple3 OR ((((triple2 triple1) -> rule6) triple2) -> rule3) OR ((((triple2 triple1) -> rule6) ((triple1) -> rule1)) -> rule3) OR ((((((triple1) -> rule1) triple1) -> rule6) triple2) -> rule3) OR ((((((triple1) -> rule1) triple1) -> rule6) ((triple1) -> rule1)) -> rule3))] Charlie is big.[(triple4)] Erin is big.[(triple5)] Harry is big.[(triple6)] Harry is kind.[(triple7 OR ((((((triple6) -> rule1) triple6) -> rule6) ((triple6) -> rule1)) -> rule3))] @1: Bob is blue.[(((triple2 triple1) -> rule6) OR ((((triple1) -> rule1) triple1) -> rule6))] Bob is rough.[(((triple2 triple3) -> rule2) OR ((((triple1) -> rule1) triple3) -> rule2) OR ((triple2 ((((triple2 triple1) -> rule6) triple2) -> rule3)) -> rule2) OR ((triple2 ((((triple2 triple1) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule2) OR ((((triple1) -> rule1) ((((triple2 triple1) -> rule6) triple2) -> rule3)) -> rule2) OR ((((triple1) -> rule1) ((((triple2 triple1) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule2) OR ((triple2 ((((((triple1) -> rule1) triple1) -> rule6) triple2) -> rule3)) -> rule2) OR ((triple2 ((((((triple1) -> rule1) triple1) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule2) OR ((((triple1) -> rule1) ((((((triple1) -> rule1) triple1) -> rule6) triple2) -> rule3)) -> rule2) OR ((((triple1) -> rule1) ((((((triple1) -> rule1) triple1) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule2))] Charlie is furry.[(((triple4) -> rule1))] Erin is furry.[(((triple5) -> rule1))] Harry is furry.[(((triple6) -> rule1))] Harry is rough.[(((triple7) -> rule4) OR ((((triple6) -> rule1) triple7) -> rule2) OR ((((((((triple6) -> rule1) triple6) -> rule6) ((triple6) -> rule1)) -> rule3)) -> rule4) OR ((((triple6) -> rule1) ((((((triple6) -> rule1) triple6) -> rule6) ((triple6) -> rule1)) -> rule3)) -> rule2))] @2: Bob is not young.[(((((triple2 triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((triple2 ((((triple2 triple1) -> rule6) triple2) -> rule3)) -> rule2)) -> rule5) OR ((((triple2 ((((triple2 triple1) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1) -> rule1) ((((triple2 triple1) -> rule6) triple2) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1) -> rule1) ((((triple2 triple1) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((triple2 ((((((triple1) -> rule1) triple1) -> rule6) triple2) -> rule3)) -> rule2)) -> rule5) OR ((((triple2 ((((((triple1) -> rule1) triple1) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1) -> rule1) ((((((triple1) -> rule1) triple1) -> rule6) triple2) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1) -> rule1) ((((((triple1) -> rule1) triple1) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule2)) -> rule5))] Charlie is blue.[(((((triple4) -> rule1) triple4) -> rule6))] Erin is blue.[(((((triple5) -> rule1) triple5) -> rule6))] Harry is blue.[(((((triple6) -> rule1) triple6) -> rule6))] Harry is not young.[(((((triple7) -> rule4)) -> rule5) OR ((((((triple6) -> rule1) triple7) -> rule2)) -> rule5) OR ((((((((((triple6) -> rule1) triple6) -> rule6) ((triple6) -> rule1)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1) ((((((triple6) -> rule1) triple6) -> rule6) ((triple6) -> rule1)) -> rule3)) -> rule2)) -> rule5))] @3: Charlie is kind.[(((((((triple4) -> rule1) triple4) -> rule6) ((triple4) -> rule1)) -> rule3))] Erin is kind.[(((((((triple5) -> rule1) triple5) -> rule6) ((triple5) -> rule1)) -> rule3))] @4: Charlie is rough.[(((((triple4) -> rule1) ((((((triple4) -> rule1) triple4) -> rule6) ((triple4) -> rule1)) -> rule3)) -> rule2))] Erin is rough.[(((((triple5) -> rule1) ((((((triple5) -> rule1) triple5) -> rule6) ((triple5) -> rule1)) -> rule3)) -> rule2))] @5: Charlie is not young.[(((((((triple4) -> rule1) ((((((triple4) -> rule1) triple4) -> rule6) ((triple4) -> rule1)) -> rule3)) -> rule2)) -> rule5))] Erin is not young.[(((((((triple5) -> rule1) ((((((triple5) -> rule1) triple5) -> rule6) ((triple5) -> rule1)) -> rule3)) -> rule2)) -> rule5))]