Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. If Bob is round and Bob is nice then Bob is red. Red, kind things are round. Rough, smart things are round. All young things are kind. If something is nice then it is smart. If Bob is red then Bob is young. If something is rough then it is nice. If something is kind and round then it is nice.
Bob is not kind.
@0: Bob is kind.[(triple1 OR ((triple7) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((((triple5 triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple5 ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 triple6) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 triple6) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((triple2) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4))] Bob is nice.[(triple2 OR ((triple4) -> rule7) OR ((triple1 triple5) -> rule8) OR ((triple1 ((triple3 triple1) -> rule2)) -> rule8) OR ((triple1 ((triple4 triple6) -> rule3)) -> rule8) OR ((((triple7) -> rule4) triple5) -> rule8) OR ((((triple7) -> rule4) ((triple3 triple1) -> rule2)) -> rule8) OR ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8) OR ((triple1 ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) triple5) -> rule8) OR ((((triple7) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 triple1) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple4 triple6) -> rule3)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((triple1 ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((triple7) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8))] Bob is red.[(triple3 OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple4) -> rule7)) -> rule1) OR ((triple5 ((triple1 triple5) -> rule8)) -> rule1) OR ((((triple4 triple6) -> rule3) triple2) -> rule1) OR ((((triple4 triple6) -> rule3) ((triple4) -> rule7)) -> rule1) OR ((((triple4 triple6) -> rule3) ((triple1 triple5) -> rule8)) -> rule1) OR ((triple5 ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((triple5 ((((triple7) -> rule4) triple5) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) triple2) -> rule1) OR ((triple5 ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 triple6) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 triple6) -> rule3) ((((triple7) -> rule4) triple5) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((triple1 triple5) -> rule8)) -> rule1) OR ((((triple4 triple6) -> rule3) ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((((triple7) -> rule4) triple5) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) triple2) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple1 triple5) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((((triple7) -> rule4) triple5) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8)) -> rule1))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple3 triple1) -> rule2) OR ((triple4 triple6) -> rule3) OR ((triple3 ((triple7) -> rule4)) -> rule2) OR ((triple4 ((triple2) -> rule5)) -> rule3) OR ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2) OR ((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3))] Bob is smart.[(triple6 OR ((triple2) -> rule5) OR ((((triple4) -> rule7)) -> rule5) OR ((((triple1 triple5) -> rule8)) -> rule5) OR ((((triple1 ((triple3 triple1) -> rule2)) -> rule8)) -> rule5) OR ((((((triple7) -> rule4) triple5) -> rule8)) -> rule5) OR ((((((triple7) -> rule4) ((triple3 triple1) -> rule2)) -> rule8)) -> rule5) OR ((((triple1 ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4) triple5) -> rule8)) -> rule5) OR ((((((triple7) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4) ((triple3 triple1) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((triple1 ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((((triple7) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8)) -> rule5))] Bob is young.[(triple7 OR ((triple3) -> rule6) OR ((((triple5 triple2) -> rule1)) -> rule6) OR ((((triple5 ((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple5 ((triple1 triple5) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule3) triple2) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule3) ((triple1 triple5) -> rule8)) -> rule1)) -> rule6) OR ((((triple5 ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple1 triple5) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6) OR ((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple1 triple5) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6))]