The bald eagle is young. The bald eagle sees the squirrel. The cat eats the squirrel. The cat is big. The cat is nice. The cow chases the squirrel. The cow eats the squirrel. The cow is cold. The cow is green. The cow is young. The cow sees the bald eagle. The squirrel eats the bald eagle. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel sees the cat. If someone is green then they chase the cow. If the cat eats the bald eagle then the bald eagle sees the cat. If the squirrel eats the bald eagle and the squirrel eats the cat then the cat sees the squirrel.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone is green then they chase the cow.
((("someone" "is" "green" "+")) -> ("someone" "chases" "cow" "+"))
If the cat eats the bald eagle then the bald eagle sees the cat.
((("cat" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "cat" "+"))
If the squirrel eats the bald eagle and the squirrel eats the cat then the cat sees the squirrel.
((("squirrel" "eats" "bald eagle" "+") ("squirrel" "eats" "cat" "+")) -> ("cat" "sees" "squirrel" "+"))
The squirrel is nice.
True
1
proof
[(triple15)]
("squirrel" "is" "nice" "+")
triple15
The cow is not green.
False
1
inv-proof
[(triple9)]
("cow" "is" "green" "-")
triple9
The bald eagle does not see the cat.
Unknown
inv-rconc
[@1: The bald eagle sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "cat" "-")
The cow eats the cat.
Unknown
random
[@0: The cow eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cat" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is big.[(triple4)] The cat is nice.[(triple5)] The cow chases the squirrel.[(triple6)] The cow eats the squirrel.[(triple7)] The cow is cold.[(triple8)] The cow is green.[(triple9)] The cow is young.[(triple10)] The cow sees the bald eagle.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel is big.[(triple13)] The squirrel is cold.[(triple14)] The squirrel is nice.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The cow chases the cow.[(((triple9) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple6
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
The cow is green.
("cow" "is" "green" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple11
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple15
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple16
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple9) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1