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