The bear chases the cat. The bear is blue. The bear is nice. The bear is rough. The bear likes the cat. The bear visits the cat. The cat chases the bear. The cat is rough. The cat likes the bear. The cat visits the bear. If something chases the cat and it chases the bear then it is rough. If the bear likes the cat then the bear visits the cat. If something visits the bear then the bear is red. If something visits the cat then the cat visits the bear. If something is rough and it chases the bear then it visits the bear. If something chases the bear then the bear likes the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If something chases the cat and it chases the bear then it is rough.
((("something" "chases" "cat" "+") ("something" "chases" "bear" "+")) -> ("something" "is" "rough" "+"))
If the bear likes the cat then the bear visits the cat.
((("bear" "likes" "cat" "+")) -> ("bear" "visits" "cat" "+"))
If something visits the bear then the bear is red.
((("something" "visits" "bear" "+")) -> ("bear" "is" "red" "+"))
If something visits the cat then the cat visits the bear.
((("something" "visits" "cat" "+")) -> ("cat" "visits" "bear" "+"))
If something is rough and it chases the bear then it visits the bear.
((("something" "is" "rough" "+") ("something" "chases" "bear" "+")) -> ("something" "visits" "bear" "+"))
If something chases the bear then the bear likes the cat.
((("something" "chases" "bear" "+")) -> ("bear" "likes" "cat" "+"))
The bear chases the cat.
True
1
proof
[(triple1)]
("bear" "chases" "cat" "+")
triple1
The cat does not like the bear.
False
1
inv-proof
[(triple9)]
("cat" "likes" "bear" "-")
triple9
The bear is red.
True
2
proof
[(((triple10) -> rule3) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple8 triple7) -> rule5)) -> rule3) OR ((((((triple5) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule3))]
("bear" "is" "red" "+")
((triple10) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
((((triple8 triple7) -> (rule5 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3
The bear likes the cat.
("bear" "likes" "cat" "+")
int4
The bear is not red.
False
2
inv-proof
[(((triple10) -> rule3) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple8 triple7) -> rule5)) -> rule3) OR ((((((triple5) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule3))]
("bear" "is" "red" "-")
((triple10) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
((((triple8 triple7) -> (rule5 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3
The bear likes the cat.
("bear" "likes" "cat" "+")
int4
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "visits" "bear" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
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 chases the cat.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear likes the cat.[(triple5 OR ((triple7) -> rule6))] The bear visits the cat.[(triple6 OR ((triple5) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] The cat chases the bear.[(triple7)] The cat is rough.[(triple8)] The cat likes the bear.[(triple9)] The cat visits the bear.[(triple10 OR ((triple6) -> rule4) OR ((triple8 triple7) -> rule5) OR ((((triple5) -> rule2)) -> rule4) OR ((((((triple7) -> rule6)) -> rule2)) -> rule4))] @1: The bear is red.[(((triple10) -> rule3) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple8 triple7) -> rule5)) -> rule3) OR ((((((triple5) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule3))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
((triple7) -> (rule6 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
triple6
((triple5) -> (rule2 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat likes the bear.
("cat" "likes" "bear" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
((triple6) -> (rule4 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
((triple8 triple7) -> (rule5 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The bear is red.
("bear" "is" "red" "+")
((triple10) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
((((triple8 triple7) -> (rule5 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3
The bear likes the cat.
("bear" "likes" "cat" "+")
int4