The bald eagle eats the bear. The bald eagle likes the lion. The bear is round. The bear likes the mouse. The lion visits the mouse. The mouse likes the bald eagle. The mouse visits the lion. If someone visits the bear then they visit the mouse. If someone is young then they eat the lion. If someone eats the lion then they visit the bald eagle. If someone visits the mouse then they visit the bald eagle. If the mouse visits the bald eagle then the mouse is kind. If the bear is round and the bear likes the mouse then the mouse eats the lion. If someone likes the lion then they visit the lion. If someone visits the bear then the bear visits the mouse.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone visits the bear then they visit the mouse.
((("someone" "visits" "bear" "+")) -> ("someone" "visits" "mouse" "+"))
If someone is young then they eat the lion.
((("someone" "is" "young" "+")) -> ("someone" "eats" "lion" "+"))
If someone eats the lion then they visit the bald eagle.
((("someone" "eats" "lion" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the mouse then they visit the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the mouse visits the bald eagle then the mouse is kind.
((("mouse" "visits" "bald eagle" "+")) -> ("mouse" "is" "kind" "+"))
If the bear is round and the bear likes the mouse then the mouse eats the lion.
((("bear" "is" "round" "+") ("bear" "likes" "mouse" "+")) -> ("mouse" "eats" "lion" "+"))
If someone likes the lion then they visit the lion.
((("someone" "likes" "lion" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the bear then the bear visits the mouse.
((("someone" "visits" "bear" "+")) -> ("bear" "visits" "mouse" "+"))
The bald eagle likes the lion.
True
1
proof
[(triple2)]
("bald eagle" "likes" "lion" "+")
triple2
The bear is not round.
False
1
inv-proof
[(triple3)]
("bear" "is" "round" "-")
triple3
The lion visits the bald eagle.
True
2
proof
[(((triple5) -> rule4))]
("lion" "visits" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The mouse does not eat the lion.
False
3
inv-proof
[(((triple3 triple4) -> rule6))]
("mouse" "eats" "lion" "-")
((triple3 triple4) -> (rule6 % int1))
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int1
The mouse visits the bald eagle.
True
4
proof
[(((((triple3 triple4) -> rule6)) -> rule3))]
("mouse" "visits" "bald eagle" "+")
((((triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int2
The mouse does not visit the bald eagle.
False
4
inv-proof
[(((((triple3 triple4) -> rule6)) -> rule3))]
("mouse" "visits" "bald eagle" "-")
((((triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int2
The mouse is kind.
True
5
proof
[(((((((triple3 triple4) -> rule6)) -> rule3)) -> rule5))]
("mouse" "is" "kind" "+")
((((((triple3 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3
The mouse is not kind.
False
5
inv-proof
[(((((((triple3 triple4) -> rule6)) -> rule3)) -> rule5))]
("mouse" "is" "kind" "-")
((((((triple3 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3
The bear does not eat the lion.
Unknown
inv-rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "lion" "-")
The bear visits the lion.
Unknown
rconc
[@1: The bear visits the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "visits" "lion" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "visits" "lion" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The bald eagle likes the mouse.
Unknown
random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The lion eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle likes the lion.[(triple2)] The bear is round.[(triple3)] The bear likes the mouse.[(triple4)] The lion visits the mouse.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse visits the lion.[(triple7)] @1: The bald eagle visits the lion.[(((triple2) -> rule7))] The lion visits the bald eagle.[(((triple5) -> rule4))] The mouse eats the lion.[(((triple3 triple4) -> rule6))] @2: The mouse visits the bald eagle.[(((((triple3 triple4) -> rule6)) -> rule3))] @3: The mouse is kind.[(((((((triple3 triple4) -> rule6)) -> rule3)) -> rule5))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple4
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple5
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple6
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple7
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((triple2) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
((triple3 triple4) -> (rule6 % int1))
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
((((triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((((((triple3 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3