The bald eagle eats the bear. The bald eagle is nice. The bald eagle sees the rabbit. The bear is nice. The bear sees the bald eagle. The mouse eats the rabbit. The mouse is round. The mouse does not like the bear. The rabbit does not eat the bear. The rabbit is nice. The rabbit likes the bald eagle. The rabbit likes the bear. If someone is nice then they eat the bald eagle. If someone eats the bald eagle and they do not eat the bear then they like the rabbit. If someone likes the rabbit then they like the mouse.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If someone is nice then they eat the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bald eagle and they do not eat the bear then they like the rabbit.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "bear" "~")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the rabbit then they like the mouse.
((("someone" "likes" "rabbit" "+")) -> ("someone" "likes" "mouse" "+"))
The bald eagle is nice.
True
1
proof
[(triple2)]
("bald eagle" "is" "nice" "+")
triple2
The bald eagle does not eat the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "bear" "-")
triple1
The bear eats the bald eagle.
True
2
proof
[(((triple4) -> rule1))]
("bear" "eats" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear does not eat the bald eagle.
False
2
inv-proof
[(((triple4) -> rule1))]
("bear" "eats" "bald eagle" "-")
((triple4) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The rabbit likes the rabbit.
True
4
proof
[(((((triple10) -> rule1) triple9) -> rule2))]
("rabbit" "likes" "rabbit" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int2
The rabbit does not like the rabbit.
False
4
inv-proof
[(((((triple10) -> rule1) triple9) -> rule2))]
("rabbit" "likes" "rabbit" "-")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
True
5
proof
[(((((((triple10) -> rule1) triple9) -> rule2)) -> rule3))]
("rabbit" "likes" "mouse" "+")
((((((triple10) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int3
The rabbit does not like the mouse.
False
5
inv-proof
[(((((((triple10) -> rule1) triple9) -> rule2)) -> rule3))]
("rabbit" "likes" "mouse" "-")
((((((triple10) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int3
The bald eagle does not like the rabbit.
Unknown
inv-rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The bear likes the rabbit.
Unknown
rconc
[@1: The bear likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "rabbit" "+")
The mouse does not like the mouse.
Unknown
inv-rconc
[@2: The mouse likes the mouse.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The bear likes the mouse.
Unknown
rconc
[@2: The bear likes the mouse.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bear" "likes" "mouse" "+")
The rabbit does not see the mouse.
Unknown
inv-random
[@0: The rabbit sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "mouse" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bear is nice.[(triple4)] The bear sees the bald eagle.[(triple5)] The mouse does not like the bear.[(triple8)] The mouse eats the rabbit.[(triple6)] The mouse is round.[(triple7)] The rabbit does not eat the bear.[(triple9)] The rabbit is nice.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the bear.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule1))] The bear eats the bald eagle.[(((triple4) -> rule1))] The rabbit eats the bald eagle.[(((triple10) -> rule1))] @2: The rabbit likes the rabbit.[(((((triple10) -> rule1) triple9) -> rule2))] @3: The rabbit likes the mouse.[(((((((triple10) -> rule1) triple9) -> rule2)) -> rule3))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
triple8
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple11
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple12
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((triple10) -> (rule1 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
((((((triple10) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int3