The bear chases the cat. The bear is big. The bear is blue. The bear is cold. The bear is rough. The bear likes the cat. The bear visits the cat. The cat chases the bear. The cat is cold. The cat is rough. The cat likes the bear. The cat visits the bear. If someone chases the bear then the bear chases the cat. If someone is young then they chase the cat. If someone likes the cat then the cat likes the bear. If someone is young then they visit the cat. If someone is big and they like the cat then they like the bear. If someone visits the bear and the bear visits the cat then they are cold. If someone visits the bear and the bear chases the cat then they are young. If someone is blue and they visit the bear then the bear chases the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
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 cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If someone chases the bear then the bear chases the cat.
((("someone" "chases" "bear" "+")) -> ("bear" "chases" "cat" "+"))
If someone is young then they chase the cat.
((("someone" "is" "young" "+")) -> ("someone" "chases" "cat" "+"))
If someone likes the cat then the cat likes the bear.
((("someone" "likes" "cat" "+")) -> ("cat" "likes" "bear" "+"))
If someone is young then they visit the cat.
((("someone" "is" "young" "+")) -> ("someone" "visits" "cat" "+"))
If someone is big and they like the cat then they like the bear.
((("someone" "is" "big" "+") ("someone" "likes" "cat" "+")) -> ("someone" "likes" "bear" "+"))
If someone visits the bear and the bear visits the cat then they are cold.
((("someone" "visits" "bear" "+") ("bear" "visits" "cat" "+")) -> ("someone" "is" "cold" "+"))
If someone visits the bear and the bear chases the cat then they are young.
((("someone" "visits" "bear" "+") ("bear" "chases" "cat" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and they visit the bear then the bear chases the cat.
((("someone" "is" "blue" "+") ("someone" "visits" "bear" "+")) -> ("bear" "chases" "cat" "+"))
The cat is rough.
True
1
proof
[(triple10)]
("cat" "is" "rough" "+")
triple10
The cat does not visit the bear.
False
1
inv-proof
[(triple12)]
("cat" "visits" "bear" "-")
triple12
The bear likes the bear.
True
3
proof
[(((triple2 triple6) -> rule5))]
("bear" "likes" "bear" "+")
((triple2 triple6) -> (rule5 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The cat is not young.
False
3
inv-proof
[(((triple12 triple1) -> rule7) OR ((triple12 ((triple8) -> rule1)) -> rule7))]
("cat" "is" "young" "-")
((triple12 triple1) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple12 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cat visits the cat.
True
4
proof
[(((((triple12 triple1) -> rule7)) -> rule4) OR ((((triple12 ((triple8) -> rule1)) -> rule7)) -> rule4))]
("cat" "visits" "cat" "+")
((((triple12 triple1) -> (rule7 % int2))) -> (rule4 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple12 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat does not chase the cat.
False
4
inv-proof
[(((((triple12 triple1) -> rule7)) -> rule2) OR ((((triple12 ((triple8) -> rule1)) -> rule7)) -> rule2))]
("cat" "chases" "cat" "-")
((((triple12 triple1) -> (rule7 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple12 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "young" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the cat.[(triple1 OR ((triple8) -> rule1))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is rough.[(triple5)] The bear likes the cat.[(triple6)] The bear visits the cat.[(triple7)] The cat chases the bear.[(triple8)] The cat is cold.[(triple9 OR ((triple12 triple7) -> rule6))] The cat is rough.[(triple10)] The cat likes the bear.[(triple11 OR ((triple6) -> rule3))] The cat visits the bear.[(triple12)] @1: The bear likes the bear.[(((triple2 triple6) -> rule5))] The cat is young.[(((triple12 triple1) -> rule7) OR ((triple12 ((triple8) -> rule1)) -> rule7))] @2: The cat chases the cat.[(((((triple12 triple1) -> rule7)) -> rule2) OR ((((triple12 ((triple8) -> rule1)) -> rule7)) -> rule2))] The cat visits the cat.[(((((triple12 triple1) -> rule7)) -> rule4) OR ((((triple12 ((triple8) -> rule1)) -> rule7)) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
((triple8) -> (rule1 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the cat.
("bear" "likes" "cat" "+")
triple6
The bear visits the cat.
("bear" "visits" "cat" "+")
triple7
The cat chases the bear.
("cat" "chases" "bear" "+")
triple8
The cat is cold.
("cat" "is" "cold" "+")
triple9
((triple12 triple7) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple10
The cat likes the bear.
("cat" "likes" "bear" "+")
triple11
((triple6) -> (rule3 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2 triple6) -> (rule5 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple12 triple1) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple12 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple12 triple1) -> (rule7 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple12 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple12 triple1) -> (rule7 % int2))) -> (rule4 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple12 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3