The bald eagle is young. The cat chases the cow. The cat is cold. The cat is rough. The cow likes the cat. The cow sees the bald eagle. The squirrel is cold. If the squirrel likes the bald eagle then the bald eagle chases the squirrel. If the bald eagle likes the cat then the cat is rough. If someone likes the cat then they are cold. If the cat is young then the cat is cold. If someone chases the squirrel and the squirrel chases the bald eagle then the squirrel is rough. If someone sees the bald eagle then they chase the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If the squirrel likes the bald eagle then the bald eagle chases the squirrel.
((("squirrel" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If the bald eagle likes the cat then the cat is rough.
((("bald eagle" "likes" "cat" "+")) -> ("cat" "is" "rough" "+"))
If someone likes the cat then they are cold.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "cold" "+"))
If the cat is young then the cat is cold.
((("cat" "is" "young" "+")) -> ("cat" "is" "cold" "+"))
If someone chases the squirrel and the squirrel chases the bald eagle then the squirrel is rough.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "is" "rough" "+"))
If someone sees the bald eagle then they chase the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
The cow sees the bald eagle.
True
1
proof
[(triple6)]
("cow" "sees" "bald eagle" "+")
triple6
The cat is not rough.
False
1
inv-proof
[(triple4)]
("cat" "is" "rough" "-")
triple4
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The squirrel likes the cow.
Unknown
random
[@0: The squirrel likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cow" "+")
@0: The bald eagle is young.[(triple1)] The cat chases the cow.[(triple2)] The cat is cold.[(triple3)] The cat is rough.[(triple4)] The cow likes the cat.[(triple5)] The cow sees the bald eagle.[(triple6)] The squirrel is cold.[(triple7)] @1: The cow chases the bald eagle.[(((triple6) -> rule6))] The cow is cold.[(((triple5) -> rule3))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat chases the cow.
("cat" "chases" "cow" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cow likes the cat.
("cow" "likes" "cat" "+")
triple5
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple6) -> (rule6 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((triple5) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1