The bald eagle chases the bear. The bald eagle chases the cat. The bald eagle does not eat the bear. The bald eagle is cold. The bald eagle is red. The bear does not chase the bald eagle. The bear chases the cat. The bear eats the bald eagle. The bear eats the cat. The bear is not big. The bear is round. The cat chases the bear. The cat does not eat the bear. The cat sees the bald eagle. The cat does not see the bear. If someone sees the bald eagle and they see the cat then they chase the bear. If someone eats the bald eagle and they eat the cat then they see the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is round.
("bear" "is" "round" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat does not eat the bear.
("cat" "eats" "bear" "-")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat does not see the bear.
("cat" "sees" "bear" "-")
If someone sees the bald eagle and they see the cat then they chase the bear.
((("someone" "sees" "bald eagle" "+") ("someone" "sees" "cat" "+")) -> ("someone" "chases" "bear" "+"))
If someone eats the bald eagle and they eat the cat then they see the bald eagle.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "cat" "+")) -> ("someone" "sees" "bald eagle" "+"))
The bear is not big.
True
1
proof
[(triple10)]
("bear" "is" "big" "-")
triple10
The bear does not eat the cat.
False
1
inv-proof
[(triple9)]
("bear" "eats" "cat" "-")
triple9
The bear sees the bald eagle.
True
3
proof
[(((triple8 triple9) -> rule2))]
("bear" "sees" "bald eagle" "+")
((triple8 triple9) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear does not see the bald eagle.
False
3
inv-proof
[(((triple8 triple9) -> rule2))]
("bear" "sees" "bald eagle" "-")
((triple8 triple9) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "bear" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cat.[(triple2)] The bald eagle does not eat the bear.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is red.[(triple5)] The bear chases the cat.[(triple7)] The bear does not chase the bald eagle.[(triple6)] The bear eats the bald eagle.[(triple8)] The bear eats the cat.[(triple9)] The bear is not big.[(triple10)] The bear is round.[(triple11)] The cat chases the bear.[(triple12)] The cat does not eat the bear.[(triple13)] The cat does not see the bear.[(triple15)] The cat sees the bald eagle.[(triple14)] @1: The bear sees the bald eagle.[(((triple8 triple9) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple2
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bear chases the cat.
("bear" "chases" "cat" "+")
triple7
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple8
The bear eats the cat.
("bear" "eats" "cat" "+")
triple9
The bear is not big.
("bear" "is" "big" "-")
triple10
The bear is round.
("bear" "is" "round" "+")
triple11
The cat chases the bear.
("cat" "chases" "bear" "+")
triple12
The cat does not eat the bear.
("cat" "eats" "bear" "-")
triple13
The cat does not see the bear.
("cat" "sees" "bear" "-")
triple15
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple14
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple8 triple9) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1