The bald eagle is nice. The bald eagle does not like the cow. The bald eagle visits the squirrel. The cow is big. The cow is not nice. The cow is red. The cow does not like the bald eagle. The cow needs the bald eagle. The cow visits the squirrel. The squirrel is big. The squirrel is not nice. The squirrel does not like the bald eagle. The squirrel likes the cow. The squirrel needs the bald eagle. The squirrel visits the cow. If something visits the cow then the cow visits the bald eagle. If something is big then it does not need the cow. If something is round and it visits the bald eagle then the bald eagle does not need the cow. If something likes the bald eagle then it does not visit the cow. If the bald eagle likes the squirrel then the bald eagle is not nice. If the cow is red and the cow does not need the squirrel then the squirrel needs the bald eagle. If something needs the cow then it visits the squirrel. If something is round and it does not visit the squirrel then the squirrel is young.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is red.
("cow" "is" "red" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something visits the cow then the cow visits the bald eagle.
((("something" "visits" "cow" "+")) -> ("cow" "visits" "bald eagle" "+"))
If something is big then it does not need the cow.
((("something" "is" "big" "+")) -> ("something" "needs" "cow" "-"))
If something is round and it visits the bald eagle then the bald eagle does not need the cow.
((("something" "is" "round" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "-"))
If something likes the bald eagle then it does not visit the cow.
((("something" "likes" "bald eagle" "+")) -> ("something" "visits" "cow" "-"))
If the bald eagle likes the squirrel then the bald eagle is not nice.
((("bald eagle" "likes" "squirrel" "+")) -> ("bald eagle" "is" "nice" "-"))
If the cow is red and the cow does not need the squirrel then the squirrel needs the bald eagle.
((("cow" "is" "red" "+") ("cow" "needs" "squirrel" "~")) -> ("squirrel" "needs" "bald eagle" "+"))
If something needs the cow then it visits the squirrel.
((("something" "needs" "cow" "+")) -> ("something" "visits" "squirrel" "+"))
If something is round and it does not visit the squirrel then the squirrel is young.
((("something" "is" "round" "+") ("something" "visits" "squirrel" "~")) -> ("squirrel" "is" "young" "+"))
The cow is red.
True
1
proof
[(triple6)]
("cow" "is" "red" "+")
triple6
The bald eagle is not nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The squirrel does not need the cow.
True
2
proof
[(((triple10) -> rule2))]
("squirrel" "needs" "cow" "-")
((triple10) -> (rule2 % int1))
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
int1
The cow does not visit the bald eagle.
False
2
inv-proof
[(((triple15) -> rule1))]
("cow" "visits" "bald eagle" "-")
((triple15) -> (rule1 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel visits the squirrel.
Unknown
rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "visits" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle does not like the cow.[(triple2)] The bald eagle is nice.[(triple1)] The bald eagle visits the squirrel.[(triple3)] The cow does not like the bald eagle.[(triple7)] The cow is big.[(triple4)] The cow is not nice.[(triple5)] The cow is red.[(triple6)] The cow needs the bald eagle.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel does not like the bald eagle.[(triple12)] The squirrel is big.[(triple10)] The squirrel is not nice.[(triple11)] The squirrel likes the cow.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel visits the cow.[(triple15)] @1: The cow does not need the cow.[(((triple4) -> rule2))] The cow visits the bald eagle.[(((triple15) -> rule1))] The squirrel does not need the cow.[(((triple10) -> rule2))]
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple7
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is not nice.
("cow" "is" "nice" "-")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple8
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple9
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple11
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple13
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple14
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple15
The cow does not need the cow.
("cow" "needs" "cow" "-")
((triple4) -> (rule2 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((triple15) -> (rule1 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
((triple10) -> (rule2 % int1))
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
int1