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