The bear chases the cat. The bear does not eat the cat. The bear is green. The bear is red. The bear is rough. The bear is round. The bear is young. The bear sees the cat. The cat chases the bear. The cat eats the bear. The cat is green. The cat is red. The cat is rough. The cat is round. The cat is young. The cat sees the bear. If something chases the bear and the bear sees the cat then it does not eat the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If something chases the bear and the bear sees the cat then it does not eat the cat.
((("something" "chases" "bear" "+") ("bear" "sees" "cat" "+")) -> ("something" "eats" "cat" "-"))
The bear sees the cat.
True
1
proof
[(triple8)]
("bear" "sees" "cat" "+")
triple8
The cat is not round.
False
1
inv-proof
[(triple14)]
("cat" "is" "round" "-")
triple14
The cat does not eat the cat.
True
3
proof
[(((triple9 triple8) -> rule1))]
("cat" "eats" "cat" "-")
((triple9 triple8) -> (rule1 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat eats the cat.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("cat" "eats" "cat" "+")
((triple9 triple8) -> (rule1 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear does not eat the cat.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear is young.[(triple7)] The bear sees the cat.[(triple8)] The cat chases the bear.[(triple9)] The cat eats the bear.[(triple10)] The cat is green.[(triple11)] The cat is red.[(triple12)] The cat is rough.[(triple13)] The cat is round.[(triple14)] The cat is young.[(triple15)] The cat sees the bear.[(triple16)] @1: The cat does not eat the cat.[(((triple9 triple8) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear sees the cat.
("bear" "sees" "cat" "+")
triple8
The cat chases the bear.
("cat" "chases" "bear" "+")
triple9
The cat eats the bear.
("cat" "eats" "bear" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
triple11
The cat is red.
("cat" "is" "red" "+")
triple12
The cat is rough.
("cat" "is" "rough" "+")
triple13
The cat is round.
("cat" "is" "round" "+")
triple14
The cat is young.
("cat" "is" "young" "+")
triple15
The cat sees the bear.
("cat" "sees" "bear" "+")
triple16
The cat does not eat the cat.
("cat" "eats" "cat" "-")
((triple9 triple8) -> (rule1 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1