Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is young. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is white. Harry is young. If something is nice and furry then it is green. If Bob is white then Bob is furry. All furry things are kind. If Bob is nice and Bob is kind then Bob is furry. All quiet things are nice. If Harry is quiet and Harry is furry then Harry is green. If something is quiet and green then it is furry. If something is kind and quiet then it is green.
Bob is not young.
@0: Bob is furry.[(triple1 OR ((triple3 triple2) -> rule4) OR ((triple4 ((triple2 triple4) -> rule8)) -> rule7) OR ((((triple4) -> rule5) triple2) -> rule4))] Bob is kind.[(triple2 OR ((triple1) -> rule3))] Bob is nice.[(triple3 OR ((triple4) -> rule5))] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Harry is furry.[(triple6 OR ((triple10 triple7) -> rule7) OR ((triple10 ((triple8 triple10) -> rule8)) -> rule7))] Harry is green.[(triple7 OR ((triple10 triple6) -> rule6) OR ((triple8 triple10) -> rule8) OR ((triple9 triple6) -> rule1) OR ((((triple10) -> rule5) triple6) -> rule1) OR ((((triple6) -> rule3) triple10) -> rule8))] Harry is kind.[(triple8 OR ((triple6) -> rule3) OR ((((triple10 triple7) -> rule7)) -> rule3))] Harry is nice.[(triple9 OR ((triple10) -> rule5))] Harry is quiet.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Bob is green.[(((triple2 triple4) -> rule8) OR ((triple3 triple1) -> rule1) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule1) OR ((((triple1) -> rule3) triple4) -> rule8) OR ((((triple4) -> rule5) triple1) -> rule1) OR ((((triple4) -> rule5) ((triple3 triple2) -> rule4)) -> rule1) OR ((triple3 ((((triple4) -> rule5) triple2) -> rule4)) -> rule1) OR ((((triple4) -> rule5) ((((triple4) -> rule5) triple2) -> rule4)) -> rule1))]