Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is white. Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Harry is big. Harry is green. Harry is nice. Harry is smart. Kind, big things are furry. All kind, white things are green. All green things are kind. Nice, green things are smart. If Bob is big and Bob is white then Bob is smart. If something is furry then it is white.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((triple3 triple5) -> rule2) OR ((triple3 ((((triple3 triple1) -> rule1)) -> rule6)) -> rule2))] Bob is kind.[(triple3 OR ((triple2) -> rule3))] Bob is nice.[(triple4)] Bob is white.[(triple5 OR ((((triple3 triple1) -> rule1)) -> rule6) OR ((((((triple2) -> rule3) triple1) -> rule1)) -> rule6))] Charlie is big.[(triple6)] Charlie is furry.[(triple7 OR ((triple9 triple6) -> rule1) OR ((((triple8) -> rule3) triple6) -> rule1))] Charlie is green.[(triple8 OR ((triple9 triple12) -> rule2) OR ((triple9 ((triple7) -> rule6)) -> rule2) OR ((triple9 ((((triple9 triple6) -> rule1)) -> rule6)) -> rule2))] Charlie is kind.[(triple9 OR ((triple8) -> rule3))] Charlie is nice.[(triple10)] Charlie is smart.[(triple11 OR ((triple10 triple8) -> rule4) OR ((triple10 ((triple9 triple12) -> rule2)) -> rule4) OR ((triple10 ((triple9 ((triple7) -> rule6)) -> rule2)) -> rule4) OR ((triple10 ((triple9 ((((triple9 triple6) -> rule1)) -> rule6)) -> rule2)) -> rule4))] Charlie is white.[(triple12 OR ((triple7) -> rule6) OR ((((triple9 triple6) -> rule1)) -> rule6) OR ((((((triple8) -> rule3) triple6) -> rule1)) -> rule6))] Harry is big.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)] Harry is smart.[(triple16 OR ((triple15 triple14) -> rule4))] @1: Bob is furry.[(((triple3 triple1) -> rule1) OR ((((triple2) -> rule3) triple1) -> rule1))] Bob is smart.[(((triple1 triple5) -> rule5) OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple3 triple5) -> rule2)) -> rule4) OR ((triple1 ((((triple3 triple1) -> rule1)) -> rule6)) -> rule5) OR ((triple1 ((((((triple2) -> rule3) triple1) -> rule1)) -> rule6)) -> rule5) OR ((triple4 ((triple3 ((((triple3 triple1) -> rule1)) -> rule6)) -> rule2)) -> rule4))] Harry is kind.[(((triple14) -> rule3))] @2: Harry is furry.[(((((triple14) -> rule3) triple13) -> rule1))] @3: Harry is white.[(((((((triple14) -> rule3) triple13) -> rule1)) -> rule6))]