Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is not quiet. Bob is red. Bob is not young. All big people are furry. If someone is blue and not young then they are furry. Blue people are furry. If someone is big and not quiet then they are kind. If someone is blue and not quiet then they are kind. If someone is furry and not young then they are big. All furry, kind people are big. If Bob is red and Bob is not young then Bob is kind.
Bob is not young.
@0: Bob is big.[(triple1 OR ((triple3 triple4) -> rule7) OR ((triple3 triple7) -> rule6) OR ((triple3 ((triple2 triple5) -> rule5)) -> rule7) OR ((triple3 ((triple6 triple7) -> rule8)) -> rule7) OR ((((triple2) -> rule3) triple4) -> rule7) OR ((((triple2) -> rule3) triple7) -> rule6) OR ((((triple2 triple7) -> rule2) triple4) -> rule7) OR ((((triple2 triple7) -> rule2) triple7) -> rule6) OR ((((triple2) -> rule3) ((triple2 triple5) -> rule5)) -> rule7) OR ((((triple2) -> rule3) ((triple6 triple7) -> rule8)) -> rule7) OR ((((triple2 triple7) -> rule2) ((triple2 triple5) -> rule5)) -> rule7) OR ((((triple2 triple7) -> rule2) ((triple6 triple7) -> rule8)) -> rule7))] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple1) -> rule1) OR ((triple2) -> rule3) OR ((triple2 triple7) -> rule2))] Bob is kind.[(triple4 OR ((triple1 triple5) -> rule4) OR ((triple2 triple5) -> rule5) OR ((triple6 triple7) -> rule8) OR ((((triple3 triple7) -> rule6) triple5) -> rule4) OR ((((((triple2) -> rule3) triple7) -> rule6) triple5) -> rule4) OR ((((((triple2 triple7) -> rule2) triple7) -> rule6) triple5) -> rule4))] Bob is not quiet.[(triple5)] Bob is not young.[(triple7)] Bob is red.[(triple6)]