The bear chases the squirrel. The bear is not blue. The bear is cold. The dog chases the bear. The dog is big. The rabbit does not visit the bear. The squirrel visits the rabbit. If something visits the squirrel and it does not like the dog then it is blue. If something is rough then it does not like the rabbit. If something is young and it chases the rabbit then it is rough. If the dog likes the bear then the dog likes the squirrel. If something visits the dog then it chases the rabbit. If something chases the bear and the bear chases the squirrel then the bear likes the squirrel. If the bear does not chase the rabbit then the bear chases the squirrel. If something likes the dog and it does not like the squirrel then the dog is blue.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is cold.
("bear" "is" "cold" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The rabbit does not visit the bear.
("rabbit" "visits" "bear" "-")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something visits the squirrel and it does not like the dog then it is blue.
((("something" "visits" "squirrel" "+") ("something" "likes" "dog" "~")) -> ("something" "is" "blue" "+"))
If something is rough then it does not like the rabbit.
((("something" "is" "rough" "+")) -> ("something" "likes" "rabbit" "-"))
If something is young and it chases the rabbit then it is rough.
((("something" "is" "young" "+") ("something" "chases" "rabbit" "+")) -> ("something" "is" "rough" "+"))
If the dog likes the bear then the dog likes the squirrel.
((("dog" "likes" "bear" "+")) -> ("dog" "likes" "squirrel" "+"))
If something visits the dog then it chases the rabbit.
((("something" "visits" "dog" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the bear and the bear chases the squirrel then the bear likes the squirrel.
((("something" "chases" "bear" "+") ("bear" "chases" "squirrel" "+")) -> ("bear" "likes" "squirrel" "+"))
If the bear does not chase the rabbit then the bear chases the squirrel.
((("bear" "chases" "rabbit" "~")) -> ("bear" "chases" "squirrel" "+"))
If something likes the dog and it does not like the squirrel then the dog is blue.
((("something" "likes" "dog" "+") ("something" "likes" "squirrel" "~")) -> ("dog" "is" "blue" "+"))
The bear is not blue.
True
1
proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The bear is blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "+")
triple2
The bear likes the squirrel.
True
3
proof
[(((triple4 triple1) -> rule6))]
("bear" "likes" "squirrel" "+")
((triple4 triple1) -> (rule6 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear does not like the squirrel.
False
3
inv-proof
[(((triple4 triple1) -> rule6))]
("bear" "likes" "squirrel" "-")
((triple4 triple1) -> (rule6 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "rough" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "rough" "+")
The dog does not visit the squirrel.
Unknown
inv-random
[@0: The dog visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "squirrel" "-")
The bear likes the dog.
Unknown
random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is cold.[(triple3)] The bear is not blue.[(triple2)] The dog chases the bear.[(triple4)] The dog is big.[(triple5)] The rabbit does not visit the bear.[(triple6)] The squirrel visits the rabbit.[(triple7)] @1: The bear likes the squirrel.[(((triple4 triple1) -> rule6))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
triple5
The rabbit does not visit the bear.
("rabbit" "visits" "bear" "-")
triple6
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple7
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
((triple4 triple1) -> (rule6 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1