The bald eagle is cold. The bald eagle is red. The bear chases the bald eagle. The bear is big. The bear needs the cat. The cat chases the bear. The cat is kind. The cat is red. The cat is young. The cat needs the bald eagle. The cat needs the mouse. The mouse chases the bald eagle. The mouse chases the cat. The mouse needs the bald eagle. The mouse needs the bear. The mouse visits the bear. If someone chases the mouse and the mouse needs the bald eagle then the bald eagle visits the mouse. If the bear chases the cat and the cat is red then the bear visits the cat. If someone visits the mouse then they chase the bear.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone chases the mouse and the mouse needs the bald eagle then the bald eagle visits the mouse.
((("someone" "chases" "mouse" "+") ("mouse" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If the bear chases the cat and the cat is red then the bear visits the cat.
((("bear" "chases" "cat" "+") ("cat" "is" "red" "+")) -> ("bear" "visits" "cat" "+"))
If someone visits the mouse then they chase the bear.
((("someone" "visits" "mouse" "+")) -> ("someone" "chases" "bear" "+"))
The mouse needs the bear.
True
1
proof
[(triple15)]
("mouse" "needs" "bear" "+")
triple15
The bald eagle is not red.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "red" "-")
triple2
The bear does not visit the cat.
Unknown
inv-rconc
[@1: The bear visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "cat" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear is big.[(triple4)] The bear needs the cat.[(triple5)] The cat chases the bear.[(triple6)] The cat is kind.[(triple7)] The cat is red.[(triple8)] The cat is young.[(triple9)] The cat needs the bald eagle.[(triple10)] The cat needs the mouse.[(triple11)] The mouse chases the bald eagle.[(triple12)] The mouse chases the cat.[(triple13)] The mouse needs the bald eagle.[(triple14)] The mouse needs the bear.[(triple15)] The mouse visits the bear.[(triple16)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear needs the cat.
("bear" "needs" "cat" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
The cat is red.
("cat" "is" "red" "+")
triple8
The cat is young.
("cat" "is" "young" "+")
triple9
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple10
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple11
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple12
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple13
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple16