The bald eagle sees the lion. The bald eagle sees the mouse. The dog eats the lion. The dog eats the mouse. The dog is blue. The dog likes the bald eagle. The dog likes the lion. The dog likes the mouse. The dog sees the mouse. The lion eats the dog. The lion is kind. The lion is nice. The lion likes the dog. The lion sees the mouse. The mouse is round. The mouse sees the dog. If someone sees the bald eagle and the bald eagle eats the lion then they see the dog. If someone eats the dog and they like the mouse then they like the lion. If the bald eagle is blue then the bald eagle eats the dog. If someone sees the mouse then they like the mouse. If someone likes the lion and they are nice then they eat the lion. If someone sees the lion and they eat the mouse then the lion sees the bald eagle. If the dog eats the bald eagle then the bald eagle likes the lion. If someone sees the dog then the dog eats the mouse.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone sees the bald eagle and the bald eagle eats the lion then they see the dog.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "eats" "lion" "+")) -> ("someone" "sees" "dog" "+"))
If someone eats the dog and they like the mouse then they like the lion.
((("someone" "eats" "dog" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "likes" "lion" "+"))
If the bald eagle is blue then the bald eagle eats the dog.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "eats" "dog" "+"))
If someone sees the mouse then they like the mouse.
((("someone" "sees" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the lion and they are nice then they eat the lion.
((("someone" "likes" "lion" "+") ("someone" "is" "nice" "+")) -> ("someone" "eats" "lion" "+"))
If someone sees the lion and they eat the mouse then the lion sees the bald eagle.
((("someone" "sees" "lion" "+") ("someone" "eats" "mouse" "+")) -> ("lion" "sees" "bald eagle" "+"))
If the dog eats the bald eagle then the bald eagle likes the lion.
((("dog" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
If someone sees the dog then the dog eats the mouse.
((("someone" "sees" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
The lion sees the mouse.
True
1
proof
[(triple14)]
("lion" "sees" "mouse" "+")
triple14
The mouse does not see the dog.
False
1
inv-proof
[(triple16)]
("mouse" "sees" "dog" "-")
triple16
The bald eagle likes the mouse.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "likes" "mouse" "+")
((triple2) -> (rule4 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The lion does not like the mouse.
False
2
inv-proof
[(((triple14) -> rule4))]
("lion" "likes" "mouse" "-")
((triple14) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion likes the lion.
True
4
proof
[(((triple10 ((triple14) -> rule4)) -> rule2))]
("lion" "likes" "lion" "+")
((triple10 ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
The lion does not like the lion.
False
4
inv-proof
[(((triple10 ((triple14) -> rule4)) -> rule2))]
("lion" "likes" "lion" "-")
((triple10 ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
The lion eats the lion.
True
6
proof
[(((((triple10 ((triple14) -> rule4)) -> rule2) triple12) -> rule5))]
("lion" "eats" "lion" "+")
((((triple10 ((triple14) -> (rule4 % int3))) -> (rule2 % int2)) triple12) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
The lion does not eat the lion.
False
6
inv-proof
[(((((triple10 ((triple14) -> rule4)) -> rule2) triple12) -> rule5))]
("lion" "eats" "lion" "-")
((((triple10 ((triple14) -> (rule4 % int3))) -> (rule2 % int2)) triple12) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
The bald eagle does not see the dog.
Unknown
inv-rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "dog" "-")
The bald eagle eats the dog.
Unknown
rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "dog" "+")
The bald eagle does not like the lion.
Unknown
inv-rconc
[@2: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The lion sees the dog.
Unknown
rconc
[@2: The lion sees the dog.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("lion" "sees" "dog" "+")
The mouse does not like the dog.
Unknown
inv-random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "-")
The dog sees the lion.
Unknown
random
[@0: The dog sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "lion" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle sees the lion.[(triple1)] The bald eagle sees the mouse.[(triple2)] The dog eats the lion.[(triple3)] The dog eats the mouse.[(triple4 OR ((triple16) -> rule8))] The dog is blue.[(triple5)] The dog likes the bald eagle.[(triple6)] The dog likes the lion.[(triple7)] The dog likes the mouse.[(triple8 OR ((triple9) -> rule4))] The dog sees the mouse.[(triple9)] The lion eats the dog.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion likes the dog.[(triple13)] The lion sees the mouse.[(triple14)] The mouse is round.[(triple15)] The mouse sees the dog.[(triple16)] @1: The bald eagle likes the mouse.[(((triple2) -> rule4))] The lion likes the mouse.[(((triple14) -> rule4))] @2: The lion likes the lion.[(((triple10 ((triple14) -> rule4)) -> rule2))] @3: The lion eats the lion.[(((((triple10 ((triple14) -> rule4)) -> rule2) triple12) -> rule5))]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The dog eats the lion.
("dog" "eats" "lion" "+")
triple3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple4
((triple16) -> (rule8 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
triple5
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple6
The dog likes the lion.
("dog" "likes" "lion" "+")
triple7
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple8
((triple9) -> (rule4 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple9
The lion eats the dog.
("lion" "eats" "dog" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion likes the dog.
("lion" "likes" "dog" "+")
triple13
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple15
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple16
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
((triple2) -> (rule4 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
((triple14) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple10 ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple10 ((triple14) -> (rule4 % int3))) -> (rule2 % int2)) triple12) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3