The bald eagle is kind. The cat is green. The cat is red. The cat is rough. The cat needs the bald eagle. The cat needs the cow. The cat sees the bald eagle. The cat sees the cow. The cow is kind. The cow is red. The cow needs the cat. The cow needs the mouse. The cow visits the bald eagle. The mouse is cold. The mouse sees the bald eagle. If something sees the bald eagle and it needs the mouse then the mouse visits the bald eagle. If something needs the cow then the cow visits the cat. If the bald eagle is green and the bald eagle visits the cow then the bald eagle needs the cat. If the mouse needs the cow then the cow visits the bald eagle. If something sees the cat then it is cold. If something sees the mouse and the mouse visits the cow then the mouse needs the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If something sees the bald eagle and it needs the mouse then the mouse visits the bald eagle.
((("something" "sees" "bald eagle" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
If something needs the cow then the cow visits the cat.
((("something" "needs" "cow" "+")) -> ("cow" "visits" "cat" "+"))
If the bald eagle is green and the bald eagle visits the cow then the bald eagle needs the cat.
((("bald eagle" "is" "green" "+") ("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "needs" "cat" "+"))
If the mouse needs the cow then the cow visits the bald eagle.
((("mouse" "needs" "cow" "+")) -> ("cow" "visits" "bald eagle" "+"))
If something sees the cat then it is cold.
((("something" "sees" "cat" "+")) -> ("something" "is" "cold" "+"))
If something sees the mouse and the mouse visits the cow then the mouse needs the bald eagle.
((("something" "sees" "mouse" "+") ("mouse" "visits" "cow" "+")) -> ("mouse" "needs" "bald eagle" "+"))
The cat is red.
True
1
proof
[(triple3)]
("cat" "is" "red" "+")
triple3
The cow is not red.
False
1
inv-proof
[(triple10)]
("cow" "is" "red" "-")
triple10
The cow visits the cat.
True
2
proof
[(((triple6) -> rule2))]
("cow" "visits" "cat" "+")
((triple6) -> (rule2 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
The cow does not visit the cat.
False
2
inv-proof
[(((triple6) -> rule2))]
("cow" "visits" "cat" "-")
((triple6) -> (rule2 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "cold" "-")
The cow is cold.
Unknown
rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "cold" "+")
The mouse does not see the cat.
Unknown
inv-random
[@0: The mouse sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "cat" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The bald eagle is kind.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat needs the cow.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the cow.[(triple8)] The cow is kind.[(triple9)] The cow is red.[(triple10)] The cow needs the cat.[(triple11)] The cow needs the mouse.[(triple12)] The cow visits the bald eagle.[(triple13)] The mouse is cold.[(triple14)] The mouse sees the bald eagle.[(triple15)] @1: The cow visits the cat.[(((triple6) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat sees the cow.
("cat" "sees" "cow" "+")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow is red.
("cow" "is" "red" "+")
triple10
The cow needs the cat.
("cow" "needs" "cat" "+")
triple11
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple12
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple13
The mouse is cold.
("mouse" "is" "cold" "+")
triple14
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple15
The cow visits the cat.
("cow" "visits" "cat" "+")
((triple6) -> (rule2 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1