The bald eagle is cold. The bald eagle likes the dog. The bald eagle sees the dog. The bald eagle visits the dog. The bear is green. The bear sees the dog. The bear visits the dog. The dog is green. The dog is nice. The dog likes the bald eagle. The dog sees the mouse. The mouse is young. The mouse likes the bear. The mouse likes the dog. The mouse sees the bald eagle. If someone is green then they like the mouse. If someone visits the mouse then the mouse visits the dog. If someone sees the dog then the dog visits the mouse.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone is green then they like the mouse.
((("someone" "is" "green" "+")) -> ("someone" "likes" "mouse" "+"))
If someone visits the mouse then the mouse visits the dog.
((("someone" "visits" "mouse" "+")) -> ("mouse" "visits" "dog" "+"))
If someone sees the dog then the dog visits the mouse.
((("someone" "sees" "dog" "+")) -> ("dog" "visits" "mouse" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple2)]
("bald eagle" "likes" "dog" "+")
triple2
The mouse does not like the dog.
False
1
inv-proof
[(triple14)]
("mouse" "likes" "dog" "-")
triple14
The dog likes the mouse.
True
2
proof
[(((triple8) -> rule1))]
("dog" "likes" "mouse" "+")
((triple8) -> (rule1 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog does not visit the mouse.
False
2
inv-proof
[(((triple3) -> rule3) OR ((triple6) -> rule3))]
("dog" "visits" "mouse" "-")
((triple3) -> (rule3 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
((triple6) -> (rule3 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The mouse visits the dog.
True
3
proof
[(((((triple3) -> rule3)) -> rule2) OR ((((triple6) -> rule3)) -> rule2))]
("mouse" "visits" "dog" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
The mouse does not visit the dog.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule2) OR ((((triple6) -> rule3)) -> rule2))]
("mouse" "visits" "dog" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The bald eagle likes the mouse.
Unknown
rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "mouse" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear does not see the bald eagle.
Unknown
inv-random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The bear is green.[(triple5)] The bear sees the dog.[(triple6)] The bear visits the dog.[(triple7)] The dog is green.[(triple8)] The dog is nice.[(triple9)] The dog likes the bald eagle.[(triple10)] The dog sees the mouse.[(triple11)] The mouse is young.[(triple12)] The mouse likes the bear.[(triple13)] The mouse likes the dog.[(triple14)] The mouse sees the bald eagle.[(triple15)] @1: The bear likes the mouse.[(((triple5) -> rule1))] The dog likes the mouse.[(((triple8) -> rule1))] The dog visits the mouse.[(((triple3) -> rule3) OR ((triple6) -> rule3))] @2: The mouse visits the dog.[(((((triple3) -> rule3)) -> rule2) OR ((((triple6) -> rule3)) -> rule2))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple11
The mouse is young.
("mouse" "is" "young" "+")
triple12
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple13
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple14
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple15
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((triple5) -> (rule1 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
((triple8) -> (rule1 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
((triple3) -> (rule3 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
((triple6) -> (rule3 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2