The bear eats the cat. The bear is blue. The bear is green. The bear is red. The bear is rough. The bear is young. The bear likes the cat. The bear visits the cat. The cat eats the bear. The cat is blue. The cat is green. The cat is red. The cat is rough. The cat is young. The cat likes the bear. The cat visits the bear. If something is red and young then it likes the cat. If something eats the cat and the cat eats the bear then it is green. If the bear likes the cat then the bear eats the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
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 green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If something is red and young then it likes the cat.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "likes" "cat" "+"))
If something eats the cat and the cat eats the bear then it is green.
((("something" "eats" "cat" "+") ("cat" "eats" "bear" "+")) -> ("something" "is" "green" "+"))
If the bear likes the cat then the bear eats the cat.
((("bear" "likes" "cat" "+")) -> ("bear" "eats" "cat" "+"))
The bear visits the cat.
True
1
proof
[(triple8)]
("bear" "visits" "cat" "+")
triple8
The cat is not red.
False
1
inv-proof
[(triple12)]
("cat" "is" "red" "-")
triple12
The cat likes the cat.
True
3
proof
[(((triple12 triple14) -> rule1))]
("cat" "likes" "cat" "+")
((triple12 triple14) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the cat.
False
3
inv-proof
[(((triple12 triple14) -> rule1))]
("cat" "likes" "cat" "-")
((triple12 triple14) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bear eats the cat.[(triple1 OR ((triple7) -> rule3) OR ((((triple4 triple6) -> rule1)) -> rule3))] The bear is blue.[(triple2)] The bear is green.[(triple3 OR ((triple1 triple9) -> rule2) OR ((((triple7) -> rule3) triple9) -> rule2) OR ((((((triple4 triple6) -> rule1)) -> rule3) triple9) -> rule2))] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear likes the cat.[(triple7 OR ((triple4 triple6) -> rule1))] The bear visits the cat.[(triple8)] The cat eats the bear.[(triple9)] The cat is blue.[(triple10)] The cat is green.[(triple11)] The cat is red.[(triple12)] The cat is rough.[(triple13)] The cat is young.[(triple14)] The cat likes the bear.[(triple15)] The cat visits the bear.[(triple16)] @1: The cat likes the cat.[(((triple12 triple14) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
((triple7) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
((((triple4 triple6) -> (rule1 % int2))) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
((triple1 triple9) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple7) -> (rule3 % int2)) triple9) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
((((((triple4 triple6) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the cat.
("bear" "likes" "cat" "+")
triple7
((triple4 triple6) -> (rule1 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
triple8
The cat eats the bear.
("cat" "eats" "bear" "+")
triple9
The cat is blue.
("cat" "is" "blue" "+")
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 young.
("cat" "is" "young" "+")
triple14
The cat likes the bear.
("cat" "likes" "bear" "+")
triple15
The cat visits the bear.
("cat" "visits" "bear" "+")
triple16
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple12 triple14) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1