The bald eagle visits the bear. The bald eagle visits the dog. The bald eagle visits the mouse. The bear eats the dog. The bear eats the mouse. The bear is big. The bear is nice. The bear likes the dog. The bear visits the bald eagle. The dog likes the bear. The mouse eats the bear. The mouse eats the dog. The mouse is blue. The mouse is nice. The mouse likes the dog. If something is green and red then it likes the bald eagle. If something likes the bald eagle then the bald eagle is nice. If the mouse is red and the mouse eats the bear then the bear eats the dog. If something likes the bear and it likes the dog then the dog likes the bald eagle. If the mouse visits the dog then the mouse likes the bald eagle. If something eats the bear then it likes the bear.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If something is green and red then it likes the bald eagle.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the bald eagle then the bald eagle is nice.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If the mouse is red and the mouse eats the bear then the bear eats the dog.
((("mouse" "is" "red" "+") ("mouse" "eats" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If something likes the bear and it likes the dog then the dog likes the bald eagle.
((("something" "likes" "bear" "+") ("something" "likes" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If the mouse visits the dog then the mouse likes the bald eagle.
((("mouse" "visits" "dog" "+")) -> ("mouse" "likes" "bald eagle" "+"))
If something eats the bear then it likes the bear.
((("something" "eats" "bear" "+")) -> ("something" "likes" "bear" "+"))
The bald eagle visits the bear.
True
1
proof
[(triple1)]
("bald eagle" "visits" "bear" "+")
triple1
The bear is not nice.
False
1
inv-proof
[(triple7)]
("bear" "is" "nice" "-")
triple7
The mouse likes the bear.
True
2
proof
[(((triple11) -> rule6))]
("mouse" "likes" "bear" "+")
((triple11) -> (rule6 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse does not like the bear.
False
2
inv-proof
[(((triple11) -> rule6))]
("mouse" "likes" "bear" "-")
((triple11) -> (rule6 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The dog likes the bald eagle.
True
4
proof
[(((((triple11) -> rule6) triple15) -> rule4))]
("dog" "likes" "bald eagle" "+")
((((triple11) -> (rule6 % int2)) triple15) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The dog does not like the bald eagle.
False
4
inv-proof
[(((((triple11) -> rule6) triple15) -> rule4))]
("dog" "likes" "bald eagle" "-")
((((triple11) -> (rule6 % int2)) triple15) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The bald eagle is nice.
True
5
proof
[(((((((triple11) -> rule6) triple15) -> rule4)) -> rule2))]
("bald eagle" "is" "nice" "+")
((((((triple11) -> (rule6 % int3)) triple15) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3
The bald eagle is not nice.
False
5
inv-proof
[(((((((triple11) -> rule6) triple15) -> rule4)) -> rule2))]
("bald eagle" "is" "nice" "-")
((((((triple11) -> (rule6 % int3)) triple15) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "bear" "+")
The bear does not like the bald eagle.
Unknown
inv-rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The mouse likes the bald eagle.
Unknown
rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "bald eagle" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The dog does not like the mouse.
Unknown
inv-random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle visits the bear.[(triple1)] The bald eagle visits the dog.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bear eats the dog.[(triple4)] The bear eats the mouse.[(triple5)] The bear is big.[(triple6)] The bear is nice.[(triple7)] The bear likes the dog.[(triple8)] The bear visits the bald eagle.[(triple9)] The dog likes the bear.[(triple10)] The mouse eats the bear.[(triple11)] The mouse eats the dog.[(triple12)] The mouse is blue.[(triple13)] The mouse is nice.[(triple14)] The mouse likes the dog.[(triple15)] @1: The mouse likes the bear.[(((triple11) -> rule6))] @2: The dog likes the bald eagle.[(((((triple11) -> rule6) triple15) -> rule4))] @3: The bald eagle is nice.[(((((((triple11) -> rule6) triple15) -> rule4)) -> rule2))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The bear eats the dog.
("bear" "eats" "dog" "+")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple7
The bear likes the dog.
("bear" "likes" "dog" "+")
triple8
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple11
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple12
The mouse is blue.
("mouse" "is" "blue" "+")
triple13
The mouse is nice.
("mouse" "is" "nice" "+")
triple14
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple15
The mouse likes the bear.
("mouse" "likes" "bear" "+")
((triple11) -> (rule6 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((((triple11) -> (rule6 % int2)) triple15) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((((triple11) -> (rule6 % int3)) triple15) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3