The bald eagle is green. The bear is not rough. The cow is young. The squirrel is not red. If something is young then it does not need the cow. If something likes the bear then it does not need the cow. If something needs the cow and it is not green then it needs the squirrel. If the squirrel is round then the squirrel needs the bald eagle. If the cow needs the bald eagle and the cow needs the bear then the bear does not need the squirrel. If something needs the bear and it is round then it visits the cow. If something is green then it visits the bear. If something likes the bald eagle and it is not red then it likes the cow.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The cow is young.
("cow" "is" "young" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
If something is young then it does not need the cow.
((("something" "is" "young" "+")) -> ("something" "needs" "cow" "-"))
If something likes the bear then it does not need the cow.
((("something" "likes" "bear" "+")) -> ("something" "needs" "cow" "-"))
If something needs the cow and it is not green then it needs the squirrel.
((("something" "needs" "cow" "+") ("something" "is" "green" "~")) -> ("something" "needs" "squirrel" "+"))
If the squirrel is round then the squirrel needs the bald eagle.
((("squirrel" "is" "round" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If the cow needs the bald eagle and the cow needs the bear then the bear does not need the squirrel.
((("cow" "needs" "bald eagle" "+") ("cow" "needs" "bear" "+")) -> ("bear" "needs" "squirrel" "-"))
If something needs the bear and it is round then it visits the cow.
((("something" "needs" "bear" "+") ("something" "is" "round" "+")) -> ("something" "visits" "cow" "+"))
If something is green then it visits the bear.
((("something" "is" "green" "+")) -> ("something" "visits" "bear" "+"))
If something likes the bald eagle and it is not red then it likes the cow.
((("something" "likes" "bald eagle" "+") ("something" "is" "red" "~")) -> ("something" "likes" "cow" "+"))
The bear is not rough.
True
1
proof
[(triple2)]
("bear" "is" "rough" "-")
triple2
The squirrel is red.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "red" "+")
triple4
The bald eagle visits the bear.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "visits" "bear" "+")
((triple1) -> (rule7 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The cow needs the cow.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "needs" "cow" "+")
((triple3) -> (rule1 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "likes" "cow" "-")
The bald eagle visits the cow.
Unknown
rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "cow" "+")
The bald eagle does not like the squirrel.
Unknown
inv-random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The cow visits the bald eagle.
Unknown
random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bear is not rough.[(triple2)] The cow is young.[(triple3)] The squirrel is not red.[(triple4)] @1: The bald eagle visits the bear.[(((triple1) -> rule7))] The cow does not need the cow.[(((triple3) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bear is not rough.
("bear" "is" "rough" "-")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The squirrel is not red.
("squirrel" "is" "red" "-")
triple4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple1) -> (rule7 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The cow does not need the cow.
("cow" "needs" "cow" "-")
((triple3) -> (rule1 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1