Anne is big. Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is smart. Anne is white. Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is rough. Bob is smart. Bob is white. All white things are furry. All red, rough things are white. All big, smart things are red. If something is big then it is rough. If something is rough then it is red. Big, white things are smart. All red, white things are rough. All blue things are red.
Bob is not smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple7) -> rule1) OR ((((triple4 triple5) -> rule2)) -> rule1) OR ((((triple4 ((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple2) -> rule8) triple5) -> rule2)) -> rule1) OR ((((((triple5) -> rule5) triple5) -> rule2)) -> rule1) OR ((((((triple1 triple6) -> rule3) triple5) -> rule2)) -> rule1) OR ((((((triple2) -> rule8) ((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple5) -> rule5) ((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple1 triple6) -> rule3) ((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule5) triple5) -> rule2)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule2)) -> rule1))] Anne is red.[(triple4 OR ((triple2) -> rule8) OR ((triple5) -> rule5) OR ((triple1 triple6) -> rule3) OR ((((triple1) -> rule4)) -> rule5) OR ((triple1 ((triple1 triple7) -> rule6)) -> rule3))] Anne is rough.[(triple5 OR ((triple1) -> rule4) OR ((triple4 triple7) -> rule7) OR ((((triple2) -> rule8) triple7) -> rule7) OR ((((triple1 triple6) -> rule3) triple7) -> rule7) OR ((((triple1 ((triple1 triple7) -> rule6)) -> rule3) triple7) -> rule7))] Anne is smart.[(triple6 OR ((triple1 triple7) -> rule6) OR ((triple1 ((triple4 triple5) -> rule2)) -> rule6) OR ((triple1 ((triple4 ((triple1) -> rule4)) -> rule2)) -> rule6) OR ((triple1 ((((triple2) -> rule8) triple5) -> rule2)) -> rule6) OR ((triple1 ((((triple5) -> rule5) triple5) -> rule2)) -> rule6) OR ((triple1 ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule2)) -> rule6) OR ((triple1 ((((triple5) -> rule5) ((triple1) -> rule4)) -> rule2)) -> rule6) OR ((triple1 ((((((triple1) -> rule4)) -> rule5) triple5) -> rule2)) -> rule6) OR ((triple1 ((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule2)) -> rule6))] Anne is white.[(triple7 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple1) -> rule4)) -> rule2) OR ((((triple2) -> rule8) triple5) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule2) OR ((((triple1 triple6) -> rule3) triple5) -> rule2) OR ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule2) OR ((((triple5) -> rule5) ((triple1) -> rule4)) -> rule2) OR ((((triple1 triple6) -> rule3) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4)) -> rule5) triple5) -> rule2) OR ((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule2))] Bob is big.[(triple8)] Bob is blue.[(triple9)] Bob is furry.[(triple10 OR ((triple14) -> rule1) OR ((((triple11 triple12) -> rule2)) -> rule1) OR ((((triple11 ((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((triple12) -> rule5) triple12) -> rule2)) -> rule1) OR ((((((triple9) -> rule8) triple12) -> rule2)) -> rule1) OR ((((((triple8 triple13) -> rule3) triple12) -> rule2)) -> rule1) OR ((((((triple12) -> rule5) ((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((triple9) -> rule8) ((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((triple8 triple13) -> rule3) ((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((((triple8) -> rule4)) -> rule5) triple12) -> rule2)) -> rule1) OR ((((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule2)) -> rule1))] Bob is red.[(triple11 OR ((triple12) -> rule5) OR ((triple9) -> rule8) OR ((triple8 triple13) -> rule3) OR ((((triple8) -> rule4)) -> rule5) OR ((triple8 ((triple8 triple14) -> rule6)) -> rule3))] Bob is rough.[(triple12 OR ((triple8) -> rule4) OR ((triple11 triple14) -> rule7) OR ((((triple9) -> rule8) triple14) -> rule7) OR ((((triple8 triple13) -> rule3) triple14) -> rule7) OR ((((triple8 ((triple8 triple14) -> rule6)) -> rule3) triple14) -> rule7))] Bob is smart.[(triple13 OR ((triple8 triple14) -> rule6) OR ((triple8 ((triple11 triple12) -> rule2)) -> rule6) OR ((triple8 ((triple11 ((triple8) -> rule4)) -> rule2)) -> rule6) OR ((triple8 ((((triple12) -> rule5) triple12) -> rule2)) -> rule6) OR ((triple8 ((((triple9) -> rule8) triple12) -> rule2)) -> rule6) OR ((triple8 ((((triple12) -> rule5) ((triple8) -> rule4)) -> rule2)) -> rule6) OR ((triple8 ((((triple9) -> rule8) ((triple8) -> rule4)) -> rule2)) -> rule6) OR ((triple8 ((((((triple8) -> rule4)) -> rule5) triple12) -> rule2)) -> rule6) OR ((triple8 ((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule2)) -> rule6))] Bob is white.[(triple14 OR ((triple11 triple12) -> rule2) OR ((triple11 ((triple8) -> rule4)) -> rule2) OR ((((triple12) -> rule5) triple12) -> rule2) OR ((((triple9) -> rule8) triple12) -> rule2) OR ((((triple8 triple13) -> rule3) triple12) -> rule2) OR ((((triple12) -> rule5) ((triple8) -> rule4)) -> rule2) OR ((((triple9) -> rule8) ((triple8) -> rule4)) -> rule2) OR ((((triple8 triple13) -> rule3) ((triple8) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) triple12) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule2))]