The bear chases the cat. The bear eats the cat. The bear is blue. The bear is rough. The bear is young. The bear visits the cat. The cat eats the bear. The cat is blue. The cat is rough. The cat visits the bear. If the bear is blue then the bear eats the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If the bear is blue then the bear eats the cat.
((("bear" "is" "blue" "+")) -> ("bear" "eats" "cat" "+"))
The bear eats the cat.
True
1
proof
[(triple2 OR ((triple3) -> rule1))]
("bear" "eats" "cat" "+")
triple2
((triple3) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear does not visit the cat.
False
1
inv-proof
[(triple6)]
("bear" "visits" "cat" "-")
triple6
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2 OR ((triple3) -> rule1))] The bear is blue.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear visits the cat.[(triple6)] The cat eats the bear.[(triple7)] The cat is blue.[(triple8)] The cat is rough.[(triple9)] The cat visits the bear.[(triple10)]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
((triple3) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear visits the cat.
("bear" "visits" "cat" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10