The bear is young. The bear sees the cat. The cat visits the bear. If something visits the bear and the bear sees the cat then the cat is not big.
The bear is young.
("bear" "is" "young" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If something visits the bear and the bear sees the cat then the cat is not big.
((("something" "visits" "bear" "+") ("bear" "sees" "cat" "+")) -> ("cat" "is" "big" "-"))
The cat visits the bear.
True
1
proof
[(triple3)]
("cat" "visits" "bear" "+")
triple3
The bear is not young.
False
1
inv-proof
[(triple1)]
("bear" "is" "young" "-")
triple1
The cat is not big.
True
3
proof
[(((triple3 triple2) -> rule1))]
("cat" "is" "big" "-")
((triple3 triple2) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The cat is big.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("cat" "is" "big" "+")
((triple3 triple2) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The bear likes the cat.
Unknown
random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bear is young.[(triple1)] The bear sees the cat.[(triple2)] The cat visits the bear.[(triple3)] @1: The cat is not big.[(((triple3 triple2) -> rule1))]
The bear is young.
("bear" "is" "young" "+")
triple1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple2
The cat visits the bear.
("cat" "visits" "bear" "+")
triple3
The cat is not big.
("cat" "is" "big" "-")
((triple3 triple2) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1