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