The bear likes the cat. The cat is blue. The cow is cold. The cow is kind. The cow is nice. The cow likes the cat. The cow likes the squirrel. The cow sees the squirrel. The cow visits the squirrel. The squirrel is blue. If the cow sees the squirrel and the cow sees the cat then the squirrel visits the cat. If someone likes the cat then the cat is young. If the bear likes the cat then the cat visits the squirrel.
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If the cow sees the squirrel and the cow sees the cat then the squirrel visits the cat.
((("cow" "sees" "squirrel" "+") ("cow" "sees" "cat" "+")) -> ("squirrel" "visits" "cat" "+"))
If someone likes the cat then the cat is young.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "young" "+"))
If the bear likes the cat then the cat visits the squirrel.
((("bear" "likes" "cat" "+")) -> ("cat" "visits" "squirrel" "+"))
The squirrel is blue.
True
1
proof
[(triple10)]
("squirrel" "is" "blue" "+")
triple10
The cow does not see the squirrel.
False
1
inv-proof
[(triple8)]
("cow" "sees" "squirrel" "-")
triple8
The cat visits the squirrel.
True
2
proof
[(((triple1) -> rule3))]
("cat" "visits" "squirrel" "+")
((triple1) -> (rule3 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple6) -> rule2))]
("cat" "is" "young" "-")
((triple1) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple6) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The squirrel does not visit the cat.
Unknown
inv-rconc
[@1: The squirrel visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "cat" "-")
The cat visits the bear.
Unknown
random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "+")
The bear does not like the squirrel.
Unknown
inv-random
[@0: The bear likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "squirrel" "-")
The cow sees the cat.
Unknown
random
[@0: The cow sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cat" "+")
@0: The bear likes the cat.[(triple1)] The cat is blue.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow likes the cat.[(triple6)] The cow likes the squirrel.[(triple7)] The cow sees the squirrel.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel is blue.[(triple10)] @1: The cat is young.[(((triple1) -> rule2) OR ((triple6) -> rule2))] The cat visits the squirrel.[(((triple1) -> rule3))]
The bear likes the cat.
("bear" "likes" "cat" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow likes the cat.
("cow" "likes" "cat" "+")
triple6
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple8
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The cat is young.
("cat" "is" "young" "+")
((triple1) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple6) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
((triple1) -> (rule3 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1