Anne is big. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is white. Anne is young. Bob is big. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is white. Bob is young. If someone is red and white then they are green. Big, white people are quiet. If someone is red and big then they are quiet. All white people are red. If someone is green and red then they are big. If someone is big then they are rough. If someone is rough then they are big. If someone is quiet and green then they are rough.
Bob is rough.
@0: Anne is big.[(triple1 OR ((triple5) -> rule7) OR ((triple2 triple4) -> rule5) OR ((((triple3 triple2) -> rule8)) -> rule7) OR ((triple2 ((triple6) -> rule4)) -> rule5) OR ((((triple4 triple6) -> rule1) triple4) -> rule5) OR ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5) OR ((((triple3 ((triple4 triple6) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5) OR ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5) OR ((((triple3 ((((triple6) -> rule4) triple6) -> rule1)) -> rule8)) -> rule7))] Anne is green.[(triple2 OR ((triple4 triple6) -> rule1) OR ((((triple6) -> rule4) triple6) -> rule1))] Anne is quiet.[(triple3 OR ((triple1 triple6) -> rule2) OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple5) -> rule7)) -> rule3) OR ((triple4 ((triple2 triple4) -> rule5)) -> rule3) OR ((((triple5) -> rule7) triple6) -> rule2) OR ((((triple6) -> rule4) triple1) -> rule3) OR ((((triple2 triple4) -> rule5) triple6) -> rule2) OR ((((triple6) -> rule4) ((triple5) -> rule7)) -> rule3) OR ((((triple6) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((triple4 ((triple2 ((triple6) -> rule4)) -> rule5)) -> rule3) OR ((triple4 ((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule4)) -> rule5) triple6) -> rule2) OR ((((((triple4 triple6) -> rule1) triple4) -> rule5) triple6) -> rule2) OR ((triple4 ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) OR ((((triple6) -> rule4) ((triple2 ((triple6) -> rule4)) -> rule5)) -> rule3) OR ((((triple6) -> rule4) ((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule3) OR ((((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5) triple6) -> rule2) OR ((((triple6) -> rule4) ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) OR ((triple4 ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5) triple6) -> rule2) OR ((triple4 ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) OR ((((triple6) -> rule4) ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5) triple6) -> rule2) OR ((((triple6) -> rule4) ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3))] Anne is red.[(triple4 OR ((triple6) -> rule4))] Anne is rough.[(triple5 OR ((triple1) -> rule6) OR ((triple3 triple2) -> rule8) OR ((((triple2 triple4) -> rule5)) -> rule6) OR ((triple3 ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple1 triple6) -> rule2) triple2) -> rule8) OR ((((triple4 triple1) -> rule3) triple2) -> rule8) OR ((((triple1 triple6) -> rule2) ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple4 triple1) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple2 ((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule6) OR ((triple3 ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((triple4 ((triple2 triple4) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple6) -> rule4) triple1) -> rule3) triple2) -> rule8) OR ((((((triple2 triple4) -> rule5) triple6) -> rule2) triple2) -> rule8) OR ((((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((triple1 triple6) -> rule2) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((triple4 triple1) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((triple4 ((triple2 triple4) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) triple1) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple2 triple4) -> rule5) triple6) -> rule2) ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple4 ((triple2 triple4) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) triple1) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple2 triple4) -> rule5) triple6) -> rule2) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule6) OR ((((triple4 ((triple2 ((triple6) -> rule4)) -> rule5)) -> rule3) triple2) -> rule8) OR ((((triple4 ((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple2 ((triple6) -> rule4)) -> rule5) triple6) -> rule2) triple2) -> rule8) OR ((((((((triple4 triple6) -> rule1) triple4) -> rule5) triple6) -> rule2) triple2) -> rule8) OR ((((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((triple4 ((triple2 ((triple6) -> rule4)) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple4 ((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple4 ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple6) -> rule4) ((triple2 ((triple6) -> rule4)) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple6) -> rule4) ((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple2 ((triple6) -> rule4)) -> rule5) triple6) -> rule2) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((((triple4 triple6) -> rule1) triple4) -> rule5) triple6) -> rule2) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5) triple6) -> rule2) triple2) -> rule8) OR ((((triple4 ((triple2 ((triple6) -> rule4)) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((triple4 ((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((triple4 ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((triple2 ((triple6) -> rule4)) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple2 ((triple6) -> rule4)) -> rule5) triple6) -> rule2) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((((triple4 triple6) -> rule1) triple4) -> rule5) triple6) -> rule2) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5) triple6) -> rule2) ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple4 ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((triple2 ((triple6) -> rule4)) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((triple4 triple6) -> rule1) triple4) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5) triple6) -> rule2) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((triple4 triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((triple4 ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5) triple6) -> rule2) triple2) -> rule8) OR ((((triple4 ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple4 ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple6) -> rule4) ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5) triple6) -> rule2) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5) triple6) -> rule2) triple2) -> rule8) OR ((((triple4 ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((triple4 ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5) triple6) -> rule2) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5) triple6) -> rule2) ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple4 ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((((triple6) -> rule4) triple6) -> rule1) triple4) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5) triple6) -> rule2) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule4) ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule5)) -> rule3) ((((triple6) -> rule4) triple6) -> rule1)) -> rule8))] Anne is white.[(triple6)] Anne is young.[(triple7)] Bob is big.[(triple8 OR ((triple12) -> rule7) OR ((triple9 triple11) -> rule5) OR ((((triple10 triple9) -> rule8)) -> rule7) OR ((triple9 ((triple13) -> rule4)) -> rule5) OR ((((triple11 triple13) -> rule1) triple11) -> rule5) OR ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5) OR ((((triple10 ((triple11 triple13) -> rule1)) -> rule8)) -> rule7) OR ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5) OR ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5) OR ((((triple10 ((((triple13) -> rule4) triple13) -> rule1)) -> rule8)) -> rule7))] Bob is green.[(triple9 OR ((triple11 triple13) -> rule1) OR ((((triple13) -> rule4) triple13) -> rule1))] Bob is quiet.[(triple10 OR ((triple11 triple8) -> rule3) OR ((triple8 triple13) -> rule2) OR ((triple11 ((triple12) -> rule7)) -> rule3) OR ((triple11 ((triple9 triple11) -> rule5)) -> rule3) OR ((((triple12) -> rule7) triple13) -> rule2) OR ((((triple13) -> rule4) triple8) -> rule3) OR ((((triple9 triple11) -> rule5) triple13) -> rule2) OR ((((triple13) -> rule4) ((triple12) -> rule7)) -> rule3) OR ((((triple13) -> rule4) ((triple9 triple11) -> rule5)) -> rule3) OR ((triple11 ((triple9 ((triple13) -> rule4)) -> rule5)) -> rule3) OR ((triple11 ((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule3) OR ((((triple9 ((triple13) -> rule4)) -> rule5) triple13) -> rule2) OR ((((((triple11 triple13) -> rule1) triple11) -> rule5) triple13) -> rule2) OR ((triple11 ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) OR ((((triple13) -> rule4) ((triple9 ((triple13) -> rule4)) -> rule5)) -> rule3) OR ((((triple13) -> rule4) ((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule3) OR ((((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5) triple13) -> rule2) OR ((((triple13) -> rule4) ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) OR ((triple11 ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule3) OR ((((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5) triple13) -> rule2) OR ((triple11 ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) OR ((((triple13) -> rule4) ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule3) OR ((((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5) triple13) -> rule2) OR ((((triple13) -> rule4) ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3))] Bob is red.[(triple11 OR ((triple13) -> rule4))] Bob is rough.[(triple12 OR ((triple8) -> rule6) OR ((triple10 triple9) -> rule8) OR ((((triple9 triple11) -> rule5)) -> rule6) OR ((triple10 ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple11 triple8) -> rule3) triple9) -> rule8) OR ((((triple8 triple13) -> rule2) triple9) -> rule8) OR ((((triple11 triple8) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple8 triple13) -> rule2) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple9 ((triple13) -> rule4)) -> rule5)) -> rule6) OR ((((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule6) OR ((triple10 ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((triple11 ((triple9 triple11) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((triple13) -> rule4) triple8) -> rule3) triple9) -> rule8) OR ((((((triple9 triple11) -> rule5) triple13) -> rule2) triple9) -> rule8) OR ((((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule6) OR ((((triple11 triple8) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((triple11 ((triple9 triple11) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple8 triple13) -> rule2) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) triple8) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((triple9 triple11) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((triple9 triple11) -> rule5) triple13) -> rule2) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple11 ((triple9 triple11) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) triple8) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((triple9 triple11) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((triple9 triple11) -> rule5) triple13) -> rule2) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((triple9 triple11) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule6) OR ((((triple11 ((triple9 ((triple13) -> rule4)) -> rule5)) -> rule3) triple9) -> rule8) OR ((((triple11 ((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((triple9 ((triple13) -> rule4)) -> rule5) triple13) -> rule2) triple9) -> rule8) OR ((((((((triple11 triple13) -> rule1) triple11) -> rule5) triple13) -> rule2) triple9) -> rule8) OR ((((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule6) OR ((((triple11 ((triple9 ((triple13) -> rule4)) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple11 ((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple11 ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((triple13) -> rule4) ((triple9 ((triple13) -> rule4)) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((triple13) -> rule4) ((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((triple9 ((triple13) -> rule4)) -> rule5) triple13) -> rule2) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((((triple11 triple13) -> rule1) triple11) -> rule5) triple13) -> rule2) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5) triple13) -> rule2) triple9) -> rule8) OR ((((triple11 ((triple9 ((triple13) -> rule4)) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((triple11 ((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((triple11 ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((triple9 ((triple13) -> rule4)) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((triple9 ((triple13) -> rule4)) -> rule5) triple13) -> rule2) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((((triple11 triple13) -> rule1) triple11) -> rule5) triple13) -> rule2) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5) triple13) -> rule2) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple11 ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((triple9 ((triple13) -> rule4)) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((triple11 triple13) -> rule1) triple11) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5) triple13) -> rule2) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((triple11 triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((triple11 ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5) triple13) -> rule2) triple9) -> rule8) OR ((((triple11 ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple11 ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((triple13) -> rule4) ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5) triple13) -> rule2) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5) triple13) -> rule2) triple9) -> rule8) OR ((((triple11 ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((triple11 ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) triple9) -> rule8) OR ((((((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5) triple13) -> rule2) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5) triple13) -> rule2) ((triple11 triple13) -> rule1)) -> rule8) OR ((((triple11 ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((((triple13) -> rule4) triple13) -> rule1) triple11) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) ((triple11 triple13) -> rule1)) -> rule8) OR ((((((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5) triple13) -> rule2) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule4) ((((((triple13) -> rule4) triple13) -> rule1) ((triple13) -> rule4)) -> rule5)) -> rule3) ((((triple13) -> rule4) triple13) -> rule1)) -> rule8))] Bob is white.[(triple13)] Bob is young.[(triple14)]