The bear chases the tiger. The bear is big. The bear is blue. The bear visits the dog. The dog chases the bear. The dog chases the tiger. The dog eats the bear. The dog eats the tiger. The dog is big. The dog is green. The dog visits the bear. The tiger chases the dog. The tiger eats the bear. The tiger eats the dog. The tiger is blue. The tiger visits the dog. If the tiger eats the bear and the bear chases the dog then the bear is kind. If something visits the bear then the bear is green. If something visits the tiger and the tiger is big then it chases the tiger. If something visits the tiger and the tiger is green then the tiger is kind. If something eats the tiger and it visits the tiger then it chases the bear. If something eats the bear then the bear chases the tiger. If something is blue then it eats the bear. If something visits the bear then the bear chases the dog.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If the tiger eats the bear and the bear chases the dog then the bear is kind.
((("tiger" "eats" "bear" "+") ("bear" "chases" "dog" "+")) -> ("bear" "is" "kind" "+"))
If something visits the bear then the bear is green.
((("something" "visits" "bear" "+")) -> ("bear" "is" "green" "+"))
If something visits the tiger and the tiger is big then it chases the tiger.
((("something" "visits" "tiger" "+") ("tiger" "is" "big" "+")) -> ("something" "chases" "tiger" "+"))
If something visits the tiger and the tiger is green then the tiger is kind.
((("something" "visits" "tiger" "+") ("tiger" "is" "green" "+")) -> ("tiger" "is" "kind" "+"))
If something eats the tiger and it visits the tiger then it chases the bear.
((("something" "eats" "tiger" "+") ("something" "visits" "tiger" "+")) -> ("something" "chases" "bear" "+"))
If something eats the bear then the bear chases the tiger.
((("something" "eats" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
If something is blue then it eats the bear.
((("something" "is" "blue" "+")) -> ("something" "eats" "bear" "+"))
If something visits the bear then the bear chases the dog.
((("something" "visits" "bear" "+")) -> ("bear" "chases" "dog" "+"))
The tiger eats the dog.
True
1
proof
[(triple14)]
("tiger" "eats" "dog" "+")
triple14
The tiger does not visit the dog.
False
1
inv-proof
[(triple16)]
("tiger" "visits" "dog" "-")
triple16
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "bear" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bear chases the tiger.[(triple1 OR ((triple13) -> rule6) OR ((triple7) -> rule6) OR ((((triple15) -> rule7)) -> rule6) OR ((((triple3) -> rule7)) -> rule6))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear visits the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the tiger.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the tiger.[(triple8)] The dog is big.[(triple9)] The dog is green.[(triple10)] The dog visits the bear.[(triple11)] The tiger chases the dog.[(triple12)] The tiger eats the bear.[(triple13 OR ((triple15) -> rule7))] The tiger eats the dog.[(triple14)] The tiger is blue.[(triple15)] The tiger visits the dog.[(triple16)] @1: The bear chases the dog.[(((triple11) -> rule8))] The bear eats the bear.[(((triple3) -> rule7))] The bear is green.[(((triple11) -> rule2))] @2: The bear is kind.[(((triple13 ((triple11) -> rule8)) -> rule1) OR ((((triple15) -> rule7) ((triple11) -> rule8)) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
((triple13) -> (rule6 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
((triple7) -> (rule6 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule6 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple6
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is green.
("dog" "is" "green" "+")
triple10
The dog visits the bear.
("dog" "visits" "bear" "+")
triple11
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple12
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple13
((triple15) -> (rule7 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple14
The tiger is blue.
("tiger" "is" "blue" "+")
triple15
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple16
The bear chases the dog.
("bear" "chases" "dog" "+")
((triple11) -> (rule8 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple3) -> (rule7 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((triple11) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((triple13 ((triple11) -> (rule8 % int2))) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
((((triple15) -> (rule7 % int3)) ((triple11) -> (rule8 % int2))) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int3