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