The cat is blue. The cat is kind. The cat visits the squirrel. The cow chases the cat. The cow chases the squirrel. The squirrel chases the cow. The squirrel is young. If someone chases the cow then the cow visits the squirrel. If the cow is kind and the cow eats the cat then the cat visits the squirrel.
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone chases the cow then the cow visits the squirrel.
((("someone" "chases" "cow" "+")) -> ("cow" "visits" "squirrel" "+"))
If the cow is kind and the cow eats the cat then the cat visits the squirrel.
((("cow" "is" "kind" "+") ("cow" "eats" "cat" "+")) -> ("cat" "visits" "squirrel" "+"))
The squirrel chases the cow.
True
1
proof
[(triple6)]
("squirrel" "chases" "cow" "+")
triple6
The cat is not blue.
False
1
inv-proof
[(triple1)]
("cat" "is" "blue" "-")
triple1
The cow visits the squirrel.
True
2
proof
[(((triple6) -> rule1))]
("cow" "visits" "squirrel" "+")
((triple6) -> (rule1 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The cow does not visit the squirrel.
False
2
inv-proof
[(((triple6) -> rule1))]
("cow" "visits" "squirrel" "-")
((triple6) -> (rule1 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cat does not visit the cow.
Unknown
inv-random
[@0: The cat visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cow" "-")
The cat eats the squirrel.
Unknown
random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "+")
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2)] The cat visits the squirrel.[(triple3)] The cow chases the cat.[(triple4)] The cow chases the squirrel.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel is young.[(triple7)] @1: The cow visits the squirrel.[(((triple6) -> rule1))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple3
The cow chases the cat.
("cow" "chases" "cat" "+")
triple4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
((triple6) -> (rule1 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1