The bald eagle eats the squirrel. The bald eagle is rough. The bald eagle likes the cow. The bald eagle visits the cow. The bald eagle visits the squirrel. The cow is rough. The cow likes the bald eagle. The cow visits the squirrel. The squirrel eats the cow. The squirrel likes the cow. If something eats the cow then the cow is red. If something eats the cow and it visits the squirrel then the cow eats the bald eagle. If something is cold and blue then it likes the cow. If the squirrel eats the bald eagle then the squirrel is blue. If something likes the bald eagle then the bald eagle likes the cow. If something likes the cow and it likes the squirrel then the cow visits the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If something eats the cow then the cow is red.
((("something" "eats" "cow" "+")) -> ("cow" "is" "red" "+"))
If something eats the cow and it visits the squirrel then the cow eats the bald eagle.
((("something" "eats" "cow" "+") ("something" "visits" "squirrel" "+")) -> ("cow" "eats" "bald eagle" "+"))
If something is cold and blue then it likes the cow.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "likes" "cow" "+"))
If the squirrel eats the bald eagle then the squirrel is blue.
((("squirrel" "eats" "bald eagle" "+")) -> ("squirrel" "is" "blue" "+"))
If something likes the bald eagle then the bald eagle likes the cow.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cow" "+"))
If something likes the cow and it likes the squirrel then the cow visits the bald eagle.
((("something" "likes" "cow" "+") ("something" "likes" "squirrel" "+")) -> ("cow" "visits" "bald eagle" "+"))
The cow visits the squirrel.
True
1
proof
[(triple8)]
("cow" "visits" "squirrel" "+")
triple8
The bald eagle is not rough.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "rough" "-")
triple2
The cow does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cow.[(triple3 OR ((triple7) -> rule5))] The bald eagle visits the cow.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The cow is rough.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel likes the cow.[(triple10)] @1: The cow is red.[(((triple9) -> rule1))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
((triple7) -> (rule5 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple9
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple10
The cow is red.
("cow" "is" "red" "+")
((triple9) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1