The bear eats the cat. The bear likes the cat. The bear visits the cat. The bear visits the tiger. The cat is round. The cat likes the bear. The cat visits the bear. The tiger eats the bear. The tiger is big. The tiger is blue. The tiger is green. The tiger visits the bear. If someone likes the cat and the cat is rough then they are green. If someone is big and green then they eat the bear. If someone eats the tiger then the tiger is rough. If someone likes the cat then they eat the bear. If someone eats the bear then the bear eats the tiger. If someone visits the bear then they eat the bear. If someone is big and they like the bear then they are round. If the cat is big and the cat eats the bear then the bear eats the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone likes the cat and the cat is rough then they are green.
((("someone" "likes" "cat" "+") ("cat" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and green then they eat the bear.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the tiger then the tiger is rough.
((("someone" "eats" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If someone likes the cat then they eat the bear.
((("someone" "likes" "cat" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the bear then the bear eats the tiger.
((("someone" "eats" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
If someone visits the bear then they eat the bear.
((("someone" "visits" "bear" "+")) -> ("someone" "eats" "bear" "+"))
If someone is big and they like the bear then they are round.
((("someone" "is" "big" "+") ("someone" "likes" "bear" "+")) -> ("someone" "is" "round" "+"))
If the cat is big and the cat eats the bear then the bear eats the cat.
((("cat" "is" "big" "+") ("cat" "eats" "bear" "+")) -> ("bear" "eats" "cat" "+"))
The tiger visits the bear.
True
1
proof
[(triple12)]
("tiger" "visits" "bear" "+")
triple12
The bear does not eat the cat.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cat" "-")
triple1
The cat eats the bear.
True
2
proof
[(((triple7) -> rule6))]
("cat" "eats" "bear" "+")
((triple7) -> (rule6 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The bear does not eat the tiger.
False
2
inv-proof
[(((triple8) -> rule5) OR ((((triple12) -> rule6)) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((triple7) -> rule6)) -> rule5) OR ((((triple9 triple11) -> rule2)) -> rule5))]
("bear" "eats" "tiger" "-")
((triple8) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
((((triple9 triple11) -> (rule2 % int2))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The tiger is rough.
True
3
proof
[(((((triple8) -> rule5)) -> rule3) OR ((((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((((triple9 triple11) -> rule2)) -> rule5)) -> rule3))]
("tiger" "is" "rough" "+")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
((((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
((((((triple9 triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int3
The tiger is not rough.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule3) OR ((((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((((triple9 triple11) -> rule2)) -> rule5)) -> rule3))]
("tiger" "is" "rough" "-")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
((((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
((((((triple9 triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int3
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "round" "-")
The tiger is round.
Unknown
rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "is" "round" "+")
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "green" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The tiger does not visit the cat.
Unknown
inv-random
[@0: The tiger visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cat" "-")
The cat likes the tiger.
Unknown
random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "+")
@0: The bear eats the cat.[(triple1)] The bear likes the cat.[(triple2)] The bear visits the cat.[(triple3)] The bear visits the tiger.[(triple4)] The cat is round.[(triple5)] The cat likes the bear.[(triple6)] The cat visits the bear.[(triple7)] The tiger eats the bear.[(triple8 OR ((triple12) -> rule6) OR ((triple9 triple11) -> rule2))] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bear eats the bear.[(((triple2) -> rule4))] The bear eats the tiger.[(((triple8) -> rule5) OR ((((triple12) -> rule6)) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((triple7) -> rule6)) -> rule5) OR ((((triple9 triple11) -> rule2)) -> rule5))] The cat eats the bear.[(((triple7) -> rule6))] @2: The tiger is rough.[(((((triple8) -> rule5)) -> rule3) OR ((((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((((triple9 triple11) -> rule2)) -> rule5)) -> rule3))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The bear visits the cat.
("bear" "visits" "cat" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat likes the bear.
("cat" "likes" "bear" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
((triple12) -> (rule6 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
((triple9 triple11) -> (rule2 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple2) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((triple8) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
((((triple9 triple11) -> (rule2 % int2))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
((triple7) -> (rule6 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
((((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
((((((triple9 triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int3