The bald eagle sees the cow. The cow chases the bald eagle. The cow eats the squirrel. The cow sees the bald eagle. The cow sees the squirrel. The squirrel eats the bald eagle. The squirrel sees the cow. If something chases the bald eagle and the bald eagle sees the cow then it eats the cow. All kind things are round. If something is young then it is blue. If something sees the cow then the cow chases the squirrel. If something eats the squirrel then the squirrel chases the cow. If something chases the squirrel then it chases the cow. If something sees the bald eagle and it chases the bald eagle then the bald eagle is green. If something eats the squirrel and the squirrel eats the bald eagle then the bald eagle is blue.
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something chases the bald eagle and the bald eagle sees the cow then it eats the cow.
((("something" "chases" "bald eagle" "+") ("bald eagle" "sees" "cow" "+")) -> ("something" "eats" "cow" "+"))
All kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something is young then it is blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something sees the cow then the cow chases the squirrel.
((("something" "sees" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
If something eats the squirrel then the squirrel chases the cow.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
If something chases the squirrel then it chases the cow.
((("something" "chases" "squirrel" "+")) -> ("something" "chases" "cow" "+"))
If something sees the bald eagle and it chases the bald eagle then the bald eagle is green.
((("something" "sees" "bald eagle" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If something eats the squirrel and the squirrel eats the bald eagle then the bald eagle is blue.
((("something" "eats" "squirrel" "+") ("squirrel" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
The cow eats the squirrel.
True
1
proof
[(triple3)]
("cow" "eats" "squirrel" "+")
triple3
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple6)]
("squirrel" "eats" "bald eagle" "-")
triple6
The bald eagle is green.
True
3
proof
[(((triple4 triple2) -> rule7))]
("bald eagle" "is" "green" "+")
((triple4 triple2) -> (rule7 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is not green.
False
3
inv-proof
[(((triple4 triple2) -> rule7))]
("bald eagle" "is" "green" "-")
((triple4 triple2) -> (rule7 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "blue" "-")
The bald eagle chases the cow.
Unknown
rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The bald eagle does not chase the squirrel.
Unknown
inv-random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle sees the cow.[(triple1)] The cow chases the bald eagle.[(triple2)] The cow eats the squirrel.[(triple3)] The cow sees the bald eagle.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel sees the cow.[(triple7)] @1: The bald eagle is blue.[(((triple3 triple6) -> rule8))] The bald eagle is green.[(((triple4 triple2) -> rule7))] The cow chases the squirrel.[(((triple1) -> rule4) OR ((triple7) -> rule4))] The cow eats the cow.[(((triple2 triple1) -> rule1))] The squirrel chases the cow.[(((triple3) -> rule5))] @2: The cow chases the cow.[(((((triple1) -> rule4)) -> rule6) OR ((((triple7) -> rule4)) -> rule6))]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple4
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple5
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple6
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple7
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple3 triple6) -> (rule8 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple4 triple2) -> (rule7 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((triple1) -> (rule4 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
((triple7) -> (rule4 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple2 triple1) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple3) -> (rule5 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2