The bear eats the cow. The bear eats the tiger. The bear is blue. The bear is kind. The bear needs the tiger. The bear visits the tiger. The cow is not green. The cow is red. The cow needs the bear. The tiger eats the cow. The tiger needs the cow. The tiger visits the cow. If the bear visits the tiger then the tiger is not red. If someone visits the cow and they are not red then the cow visits the tiger.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is red.
("cow" "is" "red" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If the bear visits the tiger then the tiger is not red.
((("bear" "visits" "tiger" "+")) -> ("tiger" "is" "red" "-"))
If someone visits the cow and they are not red then the cow visits the tiger.
((("someone" "visits" "cow" "+") ("someone" "is" "red" "~")) -> ("cow" "visits" "tiger" "+"))
The tiger eats the cow.
True
1
proof
[(triple10)]
("tiger" "eats" "cow" "+")
triple10
The bear is not blue.
False
1
inv-proof
[(triple3)]
("bear" "is" "blue" "-")
triple3
The tiger is not red.
True
2
proof
[(((triple6) -> rule1))]
("tiger" "is" "red" "-")
((triple6) -> (rule1 % int1))
The tiger is not red.
("tiger" "is" "red" "-")
int1
The tiger is red.
False
2
inv-proof
[(((triple6) -> rule1))]
("tiger" "is" "red" "+")
((triple6) -> (rule1 % int1))
The tiger is not red.
("tiger" "is" "red" "-")
int1
The cow visits the tiger.
True
4
proof
[(((triple12 ((triple6) -> rule1)) -> rule2))]
("cow" "visits" "tiger" "+")
((triple12 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The tiger is not red.
("tiger" "is" "red" "-")
int2
The cow does not visit the tiger.
False
4
inv-proof
[(((triple12 ((triple6) -> rule1)) -> rule2))]
("cow" "visits" "tiger" "-")
((triple12 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The tiger is not red.
("tiger" "is" "red" "-")
int2
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The cow eats the tiger.
Unknown
random
[@0: The cow eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "tiger" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
The tiger does not visit the bear.
Unknown
inv-random
[@0: The tiger visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bear" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear needs the tiger.[(triple5)] The bear visits the tiger.[(triple6)] The cow is not green.[(triple7)] The cow is red.[(triple8)] The cow needs the bear.[(triple9)] The tiger eats the cow.[(triple10)] The tiger needs the cow.[(triple11)] The tiger visits the cow.[(triple12)] @1: The tiger is not red.[(((triple6) -> rule1))] @2: The cow visits the tiger.[(((triple12 ((triple6) -> rule1)) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple5
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple6
The cow is not green.
("cow" "is" "green" "-")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The cow needs the bear.
("cow" "needs" "bear" "+")
triple9
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple10
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple11
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple12
The tiger is not red.
("tiger" "is" "red" "-")
((triple6) -> (rule1 % int1))
The tiger is not red.
("tiger" "is" "red" "-")
int1
The cow visits the tiger.
("cow" "visits" "tiger" "+")
((triple12 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The tiger is not red.
("tiger" "is" "red" "-")
int2