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