The bear is not cold. The bear is red. The bear likes the dog. The bear visits the cat. The cat chases the squirrel. The cat is blue. The cat is nice. The cat is rough. The cat visits the bear. The dog is blue. The squirrel likes the cat. The squirrel does not visit the cat. If someone is red then they like the bear. If someone chases the dog and they do not chase the bear then the dog is not blue. If the cat chases the squirrel then the cat does not chase the dog. If someone visits the squirrel then the squirrel is not nice. If the bear chases the dog and the bear does not visit the dog then the dog likes the bear. If someone visits the dog and they visit the cat then they visit the bear. If someone likes the bear then the bear is not nice. If someone is blue and they do not visit the cat then they like the squirrel.
The bear is not cold.
("bear" "is" "cold" "-")
The bear is red.
("bear" "is" "red" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The dog is blue.
("dog" "is" "blue" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
If someone is red then they like the bear.
((("someone" "is" "red" "+")) -> ("someone" "likes" "bear" "+"))
If someone chases the dog and they do not chase the bear then the dog is not blue.
((("someone" "chases" "dog" "+") ("someone" "chases" "bear" "~")) -> ("dog" "is" "blue" "-"))
If the cat chases the squirrel then the cat does not chase the dog.
((("cat" "chases" "squirrel" "+")) -> ("cat" "chases" "dog" "-"))
If someone visits the squirrel then the squirrel is not nice.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "nice" "-"))
If the bear chases the dog and the bear does not visit the dog then the dog likes the bear.
((("bear" "chases" "dog" "+") ("bear" "visits" "dog" "~")) -> ("dog" "likes" "bear" "+"))
If someone visits the dog and they visit the cat then they visit the bear.
((("someone" "visits" "dog" "+") ("someone" "visits" "cat" "+")) -> ("someone" "visits" "bear" "+"))
If someone likes the bear then the bear is not nice.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "nice" "-"))
If someone is blue and they do not visit the cat then they like the squirrel.
((("someone" "is" "blue" "+") ("someone" "visits" "cat" "~")) -> ("someone" "likes" "squirrel" "+"))
The cat is nice.
True
1
proof
[(triple7)]
("cat" "is" "nice" "+")
triple7
The cat is not nice.
False
1
inv-proof
[(triple7)]
("cat" "is" "nice" "-")
triple7
The cat does not chase the dog.
True
2
proof
[(((triple5) -> rule3))]
("cat" "chases" "dog" "-")
((triple5) -> (rule3 % int1))
The cat does not chase the dog.
("cat" "chases" "dog" "-")
int1
The cat chases the dog.
False
2
inv-proof
[(((triple5) -> rule3))]
("cat" "chases" "dog" "+")
((triple5) -> (rule3 % int1))
The cat does not chase the dog.
("cat" "chases" "dog" "-")
int1
The bear is not nice.
True
3
proof
[(((((triple2) -> rule1)) -> rule7))]
("bear" "is" "nice" "-")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is nice.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule7))]
("bear" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The cat does not like the bear.
Unknown
inv-rconc
[@1: The cat likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "bear" "-")
The dog likes the bear.
Unknown
rconc
[@1: The dog likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "bear" "+")
The cat does not like the squirrel.
Unknown
inv-rconc
[@1: The cat likes the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "likes" "squirrel" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The bear chases the dog.
Unknown
random
[@0: The bear chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "dog" "+")
@0: The bear is not cold.[(triple1)] The bear is red.[(triple2)] The bear likes the dog.[(triple3)] The bear visits the cat.[(triple4)] The cat chases the squirrel.[(triple5)] The cat is blue.[(triple6)] The cat is nice.[(triple7)] The cat is rough.[(triple8)] The cat visits the bear.[(triple9)] The dog is blue.[(triple10)] The squirrel does not visit the cat.[(triple12)] The squirrel likes the cat.[(triple11)] @1: The bear likes the bear.[(((triple2) -> rule1))] The cat does not chase the dog.[(((triple5) -> rule3))] @2: The bear is not nice.[(((((triple2) -> rule1)) -> rule7))]
The bear is not cold.
("bear" "is" "cold" "-")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat visits the bear.
("cat" "visits" "bear" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
triple12
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple11
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The cat does not chase the dog.
("cat" "chases" "dog" "-")
((triple5) -> (rule3 % int1))
The cat does not chase the dog.
("cat" "chases" "dog" "-")
int1
The bear is not nice.
("bear" "is" "nice" "-")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2