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