The bald eagle is blue. The bald eagle sees the cat. The cat is rough. The cat sees the cow. The cat sees the squirrel. The cow chases the bald eagle. The cow is blue. The cow is rough. The cow needs the bald eagle. The cow needs the cat. The cow sees the squirrel. The squirrel is big. The squirrel is cold. The squirrel needs the cat. The squirrel sees the bald eagle. If something sees the cow and it chases the cat then the cat is kind. If the cow chases the squirrel then the cow sees the bald eagle. If something is rough then it needs the cat. If something sees the bald eagle and it is cold then it chases the squirrel. If something sees the bald eagle and the bald eagle sees the cow then the bald eagle needs the cow. If the squirrel is kind then the squirrel needs the cow. If something sees the cat then the cat needs the cow. If something needs the cow and the cow needs the bald eagle then the bald eagle needs the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something sees the cow and it chases the cat then the cat is kind.
((("something" "sees" "cow" "+") ("something" "chases" "cat" "+")) -> ("cat" "is" "kind" "+"))
If the cow chases the squirrel then the cow sees the bald eagle.
((("cow" "chases" "squirrel" "+")) -> ("cow" "sees" "bald eagle" "+"))
If something is rough then it needs the cat.
((("something" "is" "rough" "+")) -> ("something" "needs" "cat" "+"))
If something sees the bald eagle and it is cold then it chases the squirrel.
((("something" "sees" "bald eagle" "+") ("something" "is" "cold" "+")) -> ("something" "chases" "squirrel" "+"))
If something sees the bald eagle and the bald eagle sees the cow then the bald eagle needs the cow.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "cow" "+")) -> ("bald eagle" "needs" "cow" "+"))
If the squirrel is kind then the squirrel needs the cow.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "needs" "cow" "+"))
If something sees the cat then the cat needs the cow.
((("something" "sees" "cat" "+")) -> ("cat" "needs" "cow" "+"))
If something needs the cow and the cow needs the bald eagle then the bald eagle needs the cow.
((("something" "needs" "cow" "+") ("cow" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "+"))
The cow sees the squirrel.
True
1
proof
[(triple11)]
("cow" "sees" "squirrel" "+")
triple11
The cow is not rough.
False
1
inv-proof
[(triple8)]
("cow" "is" "rough" "-")
triple8
The cat needs the cow.
True
2
proof
[(((triple2) -> rule7))]
("cat" "needs" "cow" "+")
((triple2) -> (rule7 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple3) -> rule3))]
("cat" "needs" "cat" "-")
((triple3) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The squirrel does not need the cow.
Unknown
inv-rconc
[@1: The squirrel needs the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "needs" "cow" "-")
The cow chases the squirrel.
Unknown
rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "squirrel" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle sees the cat.[(triple2)] The cat is rough.[(triple3)] The cat sees the cow.[(triple4)] The cat sees the squirrel.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is blue.[(triple7)] The cow is rough.[(triple8)] The cow needs the bald eagle.[(triple9)] The cow needs the cat.[(triple10 OR ((triple8) -> rule3))] The cow sees the squirrel.[(triple11)] The squirrel is big.[(triple12)] The squirrel is cold.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The cat needs the cat.[(((triple3) -> rule3))] The cat needs the cow.[(((triple2) -> rule7))] The squirrel chases the squirrel.[(((triple15 triple13) -> rule4))] @2: The bald eagle needs the cow.[(((((triple2) -> rule7) triple9) -> rule8))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat sees the cow.
("cat" "sees" "cow" "+")
triple4
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple9
The cow needs the cat.
("cow" "needs" "cat" "+")
triple10
((triple8) -> (rule3 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple14
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple15
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple3) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
((triple2) -> (rule7 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple15 triple13) -> (rule4 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((((triple2) -> (rule7 % int2)) triple9) -> (rule8 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2