The bald eagle is young. The bear eats the mouse. The bear is green. The bear is red. The mouse eats the bald eagle. The mouse visits the bald eagle. The rabbit eats the bear. The rabbit eats the mouse. The rabbit is nice. The rabbit is young. The rabbit visits the bald eagle. The rabbit visits the bear. If the rabbit is nice then the rabbit is red. If someone visits the mouse then they need the bald eagle. If the bald eagle visits the rabbit then the rabbit is young. If someone visits the mouse then they eat the rabbit. If someone is green and they eat the mouse then the mouse needs the bald eagle. If someone eats the rabbit and the rabbit visits the mouse then they visit the mouse. If someone visits the rabbit and the rabbit needs the bald eagle then the bald eagle is round. If someone needs the bald eagle then the bald eagle needs the mouse.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If the rabbit is nice then the rabbit is red.
((("rabbit" "is" "nice" "+")) -> ("rabbit" "is" "red" "+"))
If someone visits the mouse then they need the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("someone" "needs" "bald eagle" "+"))
If the bald eagle visits the rabbit then the rabbit is young.
((("bald eagle" "visits" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If someone visits the mouse then they eat the rabbit.
((("someone" "visits" "mouse" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is green and they eat the mouse then the mouse needs the bald eagle.
((("someone" "is" "green" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If someone eats the rabbit and the rabbit visits the mouse then they visit the mouse.
((("someone" "eats" "rabbit" "+") ("rabbit" "visits" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
If someone visits the rabbit and the rabbit needs the bald eagle then the bald eagle is round.
((("someone" "visits" "rabbit" "+") ("rabbit" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If someone needs the bald eagle then the bald eagle needs the mouse.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple6)]
("mouse" "visits" "bald eagle" "+")
triple6
The rabbit does not visit the bear.
False
1
inv-proof
[(triple12)]
("rabbit" "visits" "bear" "-")
triple12
The mouse needs the bald eagle.
True
3
proof
[(((triple3 triple2) -> rule5))]
("mouse" "needs" "bald eagle" "+")
((triple3 triple2) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse does not need the bald eagle.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("mouse" "needs" "bald eagle" "-")
((triple3 triple2) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle needs the mouse.
True
4
proof
[(((((triple3 triple2) -> rule5)) -> rule8))]
("bald eagle" "needs" "mouse" "+")
((((triple3 triple2) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle does not need the mouse.
False
4
inv-proof
[(((((triple3 triple2) -> rule5)) -> rule8))]
("bald eagle" "needs" "mouse" "-")
((((triple3 triple2) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The rabbit visits the mouse.
Unknown
rconc
[@1: The rabbit visits the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "visits" "mouse" "+")
The bald eagle does not eat the rabbit.
Unknown
inv-rconc
[@2: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bald eagle is young.[(triple1)] The bear eats the mouse.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The mouse eats the bald eagle.[(triple5)] The mouse visits the bald eagle.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is young.[(triple10)] The rabbit visits the bald eagle.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The mouse needs the bald eagle.[(((triple3 triple2) -> rule5))] The rabbit is red.[(((triple9) -> rule1))] @2: The bald eagle needs the mouse.[(((((triple3 triple2) -> rule5)) -> rule8))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple5
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple6
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple7
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((triple3 triple2) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple9) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((((triple3 triple2) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2