The bald eagle is cold. The bald eagle likes the dog. The bald eagle sees the bear. The bear is red. The bear does not like the bald eagle. The bear likes the dog. The bear does not see the bald eagle. The dog does not like the bald eagle. The dog does not like the bear. The dog sees the bear. The dog does not visit the bald eagle. The dog visits the bear. If someone visits the bald eagle then the bald eagle does not visit the bear. If someone likes the dog and they do not see the dog then they see the bear. If the dog visits the bear then the bear visits the dog. If the bear sees the bald eagle then the bald eagle likes the dog. If someone sees the bear and the bear likes the dog then the dog is blue. If someone visits the dog then the dog sees the bald eagle. If someone sees the bald eagle then they are round. If someone visits the dog and they are not red then the dog visits the bear.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
The dog does not like the bear.
("dog" "likes" "bear" "-")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The dog visits the bear.
("dog" "visits" "bear" "+")
If someone visits the bald eagle then the bald eagle does not visit the bear.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "-"))
If someone likes the dog and they do not see the dog then they see the bear.
((("someone" "likes" "dog" "+") ("someone" "sees" "dog" "~")) -> ("someone" "sees" "bear" "+"))
If the dog visits the bear then the bear visits the dog.
((("dog" "visits" "bear" "+")) -> ("bear" "visits" "dog" "+"))
If the bear sees the bald eagle then the bald eagle likes the dog.
((("bear" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone sees the bear and the bear likes the dog then the dog is blue.
((("someone" "sees" "bear" "+") ("bear" "likes" "dog" "+")) -> ("dog" "is" "blue" "+"))
If someone visits the dog then the dog sees the bald eagle.
((("someone" "visits" "dog" "+")) -> ("dog" "sees" "bald eagle" "+"))
If someone sees the bald eagle then they are round.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If someone visits the dog and they are not red then the dog visits the bear.
((("someone" "visits" "dog" "+") ("someone" "is" "red" "~")) -> ("dog" "visits" "bear" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple3)]
("bald eagle" "sees" "bear" "+")
triple3
The dog likes the bear.
False
1
inv-proof
[(triple9)]
("dog" "likes" "bear" "+")
triple9
The bear visits the dog.
True
2
proof
[(((triple12) -> rule3))]
("bear" "visits" "dog" "+")
((triple12) -> (rule3 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear does not visit the dog.
False
2
inv-proof
[(((triple12) -> rule3))]
("bear" "visits" "dog" "-")
((triple12) -> (rule3 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The dog sees the bald eagle.
True
3
proof
[(((((triple12) -> rule3)) -> rule6))]
("dog" "sees" "bald eagle" "+")
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The dog does not see the bald eagle.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule6))]
("dog" "sees" "bald eagle" "-")
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The dog is round.
True
4
proof
[(((((((triple12) -> rule3)) -> rule6)) -> rule7))]
("dog" "is" "round" "+")
((((((triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The dog is not round.
False
4
inv-proof
[(((((((triple12) -> rule3)) -> rule6)) -> rule7))]
("dog" "is" "round" "-")
((((((triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "round" "+")
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "-")
The bald eagle visits the dog.
Unknown
random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "+")
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 bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear does not like the bald eagle.[(triple5)] The bear does not see the bald eagle.[(triple7)] The bear is red.[(triple4)] The bear likes the dog.[(triple6)] The dog does not like the bald eagle.[(triple8)] The dog does not like the bear.[(triple9)] The dog does not visit the bald eagle.[(triple11)] The dog sees the bear.[(triple10)] The dog visits the bear.[(triple12)] @1: The bear visits the dog.[(((triple12) -> rule3))] The dog is blue.[(((triple10 triple6) -> rule5) OR ((triple3 triple6) -> rule5))] @2: The dog sees the bald eagle.[(((((triple12) -> rule3)) -> rule6))] @3: The dog is round.[(((((((triple12) -> rule3)) -> rule6)) -> rule7))]
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 bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple5
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
triple7
The bear is red.
("bear" "is" "red" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple6
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
triple8
The dog does not like the bear.
("dog" "likes" "bear" "-")
triple9
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple11
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple12) -> (rule3 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((triple10 triple6) -> (rule5 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((triple3 triple6) -> (rule5 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((((triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3