The bald eagle chases the cow. The bald eagle likes the cow. The cow likes the bald eagle. The squirrel chases the bald eagle. The squirrel is red. The squirrel likes the bald eagle. The squirrel visits the bald eagle. If someone chases the cow then they visit the bald eagle. If someone likes the bald eagle and they visit the cow then they like the squirrel. If someone is rough then they chase the cow. If someone chases the bald eagle and they visit the bald eagle then they visit the cow. If someone chases the cow and they like the bald eagle then the bald eagle likes the cow. All rough people are kind.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone chases the cow then they visit the bald eagle.
((("someone" "chases" "cow" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone likes the bald eagle and they visit the cow then they like the squirrel.
((("someone" "likes" "bald eagle" "+") ("someone" "visits" "cow" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is rough then they chase the cow.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the bald eagle and they visit the bald eagle then they visit the cow.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "cow" "+"))
If someone chases the cow and they like the bald eagle then the bald eagle likes the cow.
((("someone" "chases" "cow" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cow" "+"))
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
The squirrel is red.
True
1
proof
[(triple5)]
("squirrel" "is" "red" "+")
triple5
The cow does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("cow" "likes" "bald eagle" "-")
triple3
The squirrel visits the cow.
True
3
proof
[(((triple4 triple7) -> rule4))]
("squirrel" "visits" "cow" "+")
((triple4 triple7) -> (rule4 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel does not visit the cow.
False
3
inv-proof
[(((triple4 triple7) -> rule4))]
("squirrel" "visits" "cow" "-")
((triple4 triple7) -> (rule4 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel likes the squirrel.
True
5
proof
[(((triple6 ((triple4 triple7) -> rule4)) -> rule2))]
("squirrel" "likes" "squirrel" "+")
((triple6 ((triple4 triple7) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2
The squirrel does not like the squirrel.
False
5
inv-proof
[(((triple6 ((triple4 triple7) -> rule4)) -> rule2))]
("squirrel" "likes" "squirrel" "-")
((triple6 ((triple4 triple7) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2
The bald eagle does not visit the cow.
Unknown
inv-rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "cow" "-")
The cow visits the bald eagle.
Unknown
rconc
[@2: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("cow" "visits" "bald eagle" "+")
The bald eagle does not like the squirrel.
Unknown
inv-rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The cow visits the squirrel.
Unknown
random
[@0: The cow visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "squirrel" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow likes the bald eagle.[(triple3)] The squirrel chases the bald eagle.[(triple4)] The squirrel is red.[(triple5)] The squirrel likes the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule1))] The squirrel visits the cow.[(((triple4 triple7) -> rule4))] @2: The squirrel likes the squirrel.[(((triple6 ((triple4 triple7) -> rule4)) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple4 triple7) -> (rule4 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple6 ((triple4 triple7) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2