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