The bald eagle is young. The bald eagle likes the bear. The bald eagle likes the mouse. The bald eagle needs the bear. The bear likes the bald eagle. The bear needs the mouse. The bear does not visit the mouse. The cow is young. The cow likes the bear. The cow needs the bear. The cow visits the bald eagle. The mouse is kind. The mouse is young. The mouse likes the bear. The mouse needs the cow. If the bald eagle likes the cow and the bald eagle needs the bear then the bald eagle is big. If the mouse visits the bear then the bear does not need the cow. If something likes the cow and it does not visit the bear then the bear is kind. If something needs the cow then the cow does not like the mouse. If something is big and blue then it does not need the cow. If something likes the bald eagle then the bald eagle visits the cow. If the cow needs the bear then the cow is not kind. If something needs the cow and the cow does not like the mouse then the mouse is not nice.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
If the bald eagle likes the cow and the bald eagle needs the bear then the bald eagle is big.
((("bald eagle" "likes" "cow" "+") ("bald eagle" "needs" "bear" "+")) -> ("bald eagle" "is" "big" "+"))
If the mouse visits the bear then the bear does not need the cow.
((("mouse" "visits" "bear" "+")) -> ("bear" "needs" "cow" "-"))
If something likes the cow and it does not visit the bear then the bear is kind.
((("something" "likes" "cow" "+") ("something" "visits" "bear" "~")) -> ("bear" "is" "kind" "+"))
If something needs the cow then the cow does not like the mouse.
((("something" "needs" "cow" "+")) -> ("cow" "likes" "mouse" "-"))
If something is big and blue then it does not need the cow.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "needs" "cow" "-"))
If something likes the bald eagle then the bald eagle visits the cow.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "+"))
If the cow needs the bear then the cow is not kind.
((("cow" "needs" "bear" "+")) -> ("cow" "is" "kind" "-"))
If something needs the cow and the cow does not like the mouse then the mouse is not nice.
((("something" "needs" "cow" "+") ("cow" "likes" "mouse" "~")) -> ("mouse" "is" "nice" "-"))
The bear does not visit the mouse.
True
1
proof
[(triple7)]
("bear" "visits" "mouse" "-")
triple7
The bear does not need the mouse.
False
1
inv-proof
[(triple6)]
("bear" "needs" "mouse" "-")
triple6
The bald eagle visits the cow.
True
2
proof
[(((triple5) -> rule6))]
("bald eagle" "visits" "cow" "+")
((triple5) -> (rule6 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle does not visit the cow.
False
2
inv-proof
[(((triple5) -> rule6))]
("bald eagle" "visits" "cow" "-")
((triple5) -> (rule6 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The mouse is not nice.
True
4
proof
[(((triple15 ((triple15) -> rule4)) -> rule8))]
("mouse" "is" "nice" "-")
((triple15 ((triple15) -> (rule4 % int2))) -> (rule8 % int1))
The mouse is not nice.
("mouse" "is" "nice" "-")
int1
The cow does not like the mouse.
("cow" "likes" "mouse" "-")
int2
The mouse is nice.
False
4
inv-proof
[(((triple15 ((triple15) -> rule4)) -> rule8))]
("mouse" "is" "nice" "+")
((triple15 ((triple15) -> (rule4 % int2))) -> (rule8 % int1))
The mouse is not nice.
("mouse" "is" "nice" "-")
int1
The cow does not like the mouse.
("cow" "likes" "mouse" "-")
int2
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "kind" "+")
The cow does not like the bald eagle.
Unknown
inv-random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The mouse does not need the bald eagle.
Unknown
inv-random
[@0: The mouse needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bald eagle" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the bear.[(triple4)] The bear does not visit the mouse.[(triple7)] The bear likes the bald eagle.[(triple5)] The bear needs the mouse.[(triple6)] The cow is young.[(triple8)] The cow likes the bear.[(triple9)] The cow needs the bear.[(triple10)] The cow visits the bald eagle.[(triple11)] The mouse is kind.[(triple12)] The mouse is young.[(triple13)] The mouse likes the bear.[(triple14)] The mouse needs the cow.[(triple15)] @1: The bald eagle visits the cow.[(((triple5) -> rule6))] The cow does not like the mouse.[(((triple15) -> rule4))] The cow is not kind.[(((triple10) -> rule7))] @2: The mouse is not nice.[(((triple15 ((triple15) -> rule4)) -> rule8))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
triple7
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple5
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple8
The cow likes the bear.
("cow" "likes" "bear" "+")
triple9
The cow needs the bear.
("cow" "needs" "bear" "+")
triple10
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is young.
("mouse" "is" "young" "+")
triple13
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple14
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple15
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((triple5) -> (rule6 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The cow does not like the mouse.
("cow" "likes" "mouse" "-")
((triple15) -> (rule4 % int1))
The cow does not like the mouse.
("cow" "likes" "mouse" "-")
int1
The cow is not kind.
("cow" "is" "kind" "-")
((triple10) -> (rule7 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The mouse is not nice.
("mouse" "is" "nice" "-")
((triple15 ((triple15) -> (rule4 % int2))) -> (rule8 % int1))
The mouse is not nice.
("mouse" "is" "nice" "-")
int1
The cow does not like the mouse.
("cow" "likes" "mouse" "-")
int2