The bald eagle needs the cat. The bald eagle does not need the mouse. The bear chases the cat. The bear is not green. The bear needs the cat. The cat chases the bear. The cat chases the mouse. The cat is rough. The cat likes the mouse. The cat needs the bear. The cat needs the mouse. The mouse chases the bear. The mouse chases the cat. The mouse is round. The mouse does not like the bear. The mouse needs the bear. If the cat needs the bear then the bear needs the mouse. If something likes the bear then the bear chases the bald eagle. If something likes the cat then it chases the mouse. If something is rough then it chases the mouse. If something needs the bear then the bear chases the mouse. If something chases the cat then it is not blue. If the bald eagle is rough and the bald eagle does not like the cat then the bald eagle needs the bear. Round things are green.
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If the cat needs the bear then the bear needs the mouse.
((("cat" "needs" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If something likes the bear then the bear chases the bald eagle.
((("something" "likes" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
If something likes the cat then it chases the mouse.
((("something" "likes" "cat" "+")) -> ("something" "chases" "mouse" "+"))
If something is rough then it chases the mouse.
((("something" "is" "rough" "+")) -> ("something" "chases" "mouse" "+"))
If something needs the bear then the bear chases the mouse.
((("something" "needs" "bear" "+")) -> ("bear" "chases" "mouse" "+"))
If something chases the cat then it is not blue.
((("something" "chases" "cat" "+")) -> ("something" "is" "blue" "-"))
If the bald eagle is rough and the bald eagle does not like the cat then the bald eagle needs the bear.
((("bald eagle" "is" "rough" "+") ("bald eagle" "likes" "cat" "~")) -> ("bald eagle" "needs" "bear" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
The mouse needs the bear.
True
1
proof
[(triple16)]
("mouse" "needs" "bear" "+")
triple16
The mouse likes the bear.
False
1
inv-proof
[(triple15)]
("mouse" "likes" "bear" "+")
triple15
The mouse is green.
True
2
proof
[(((triple14) -> rule8))]
("mouse" "is" "green" "+")
((triple14) -> (rule8 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is blue.
False
2
inv-proof
[(((triple13) -> rule6))]
("mouse" "is" "blue" "+")
((triple13) -> (rule6 % int1))
The mouse is not blue.
("mouse" "is" "blue" "-")
int1
The bald eagle does not need the bear.
Unknown
inv-rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "needs" "bear" "-")
The mouse chases the mouse.
Unknown
rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "mouse" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The mouse chases the bald eagle.
Unknown
random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "+")
@0: The bald eagle does not need the mouse.[(triple2)] The bald eagle needs the cat.[(triple1)] The bear chases the cat.[(triple3)] The bear is not green.[(triple4)] The bear needs the cat.[(triple5)] The cat chases the bear.[(triple6)] The cat chases the mouse.[(triple7 OR ((triple8) -> rule4))] The cat is rough.[(triple8)] The cat likes the mouse.[(triple9)] The cat needs the bear.[(triple10)] The cat needs the mouse.[(triple11)] The mouse chases the bear.[(triple12)] The mouse chases the cat.[(triple13)] The mouse does not like the bear.[(triple15)] The mouse is round.[(triple14)] The mouse needs the bear.[(triple16)] @1: The bear chases the mouse.[(((triple10) -> rule5) OR ((triple16) -> rule5))] The bear is not blue.[(((triple3) -> rule6))] The bear needs the mouse.[(((triple10) -> rule1))] The mouse is green.[(((triple14) -> rule8))] The mouse is not blue.[(((triple13) -> rule6))]
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple1
The bear chases the cat.
("bear" "chases" "cat" "+")
triple3
The bear is not green.
("bear" "is" "green" "-")
triple4
The bear needs the cat.
("bear" "needs" "cat" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple7
((triple8) -> (rule4 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple9
The cat needs the bear.
("cat" "needs" "bear" "+")
triple10
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple11
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple12
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple13
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
triple15
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple16
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((triple10) -> (rule5 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
((triple16) -> (rule5 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear is not blue.
("bear" "is" "blue" "-")
((triple3) -> (rule6 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple10) -> (rule1 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple14) -> (rule8 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not blue.
("mouse" "is" "blue" "-")
((triple13) -> (rule6 % int1))
The mouse is not blue.
("mouse" "is" "blue" "-")
int1