The bald eagle visits the cat. The bear is cold. The cat sees the bald eagle. If someone is kind and they visit the bear then they are round. If someone sees the bald eagle then the bald eagle sees the bear. If someone is cold then they see the cat. If someone is cold then they chase the cat. If someone is rough and kind then they see the bald eagle. If someone chases the bald eagle and the bald eagle is kind then the bald eagle chases the bear.
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If someone is kind and they visit the bear then they are round.
((("someone" "is" "kind" "+") ("someone" "visits" "bear" "+")) -> ("someone" "is" "round" "+"))
If someone sees the bald eagle then the bald eagle sees the bear.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "bear" "+"))
If someone is cold then they see the cat.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "cat" "+"))
If someone is cold then they chase the cat.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "cat" "+"))
If someone is rough and kind then they see the bald eagle.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the bald eagle and the bald eagle is kind then the bald eagle chases the bear.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("bald eagle" "chases" "bear" "+"))
The bear is cold.
True
1
proof
[(triple2)]
("bear" "is" "cold" "+")
triple2
The bear is not cold.
False
1
inv-proof
[(triple2)]
("bear" "is" "cold" "-")
triple2
The bald eagle sees the bear.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "sees" "bear" "+")
((triple3) -> (rule2 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear does not see the cat.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "sees" "cat" "-")
((triple2) -> (rule3 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "round" "-")
The bald eagle is round.
Unknown
rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "round" "+")
The cat does not chase the bald eagle.
Unknown
inv-random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle visits the cat.[(triple1)] The bear is cold.[(triple2)] The cat sees the bald eagle.[(triple3)] @1: The bald eagle sees the bear.[(((triple3) -> rule2))] The bear chases the cat.[(((triple2) -> rule4))] The bear sees the cat.[(((triple2) -> rule3))]
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple3) -> (rule2 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
((triple2) -> (rule4 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
((triple2) -> (rule3 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1