The cat chases the rabbit. The cat eats the cow. The cat is blue. The cat is rough. The cat visits the cow. The cat visits the rabbit. The cow eats the rabbit. The cow is blue. The cow visits the squirrel. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel does not chase the cat. The squirrel eats the rabbit. The squirrel is green. The squirrel visits the cow. The squirrel visits the rabbit. If something eats the cow then it does not visit the cat. If the rabbit is not blue then the rabbit visits the squirrel.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something eats the cow then it does not visit the cat.
((("something" "eats" "cow" "+")) -> ("something" "visits" "cat" "-"))
If the rabbit is not blue then the rabbit visits the squirrel.
((("rabbit" "is" "blue" "~")) -> ("rabbit" "visits" "squirrel" "+"))
The cat visits the cow.
True
1
proof
[(triple5)]
("cat" "visits" "cow" "+")
triple5
The cow does not eat the rabbit.
False
1
inv-proof
[(triple7)]
("cow" "eats" "rabbit" "-")
triple7
The cat does not visit the cat.
True
2
proof
[(((triple2) -> rule1))]
("cat" "visits" "cat" "-")
((triple2) -> (rule1 % int1))
The cat does not visit the cat.
("cat" "visits" "cat" "-")
int1
The cat visits the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "visits" "cat" "+")
((triple2) -> (rule1 % int1))
The cat does not visit the cat.
("cat" "visits" "cat" "-")
int1
The cat does not chase the cow.
Unknown
inv-random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "-")
The cow chases the squirrel.
Unknown
random
[@0: The cow chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "squirrel" "+")
The cow does not chase the cat.
Unknown
inv-random
[@0: The cow chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cat" "-")
The cat chases the squirrel.
Unknown
random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "+")
@0: The cat chases the rabbit.[(triple1)] The cat eats the cow.[(triple2)] The cat is blue.[(triple3)] The cat is rough.[(triple4)] The cat visits the cow.[(triple5)] The cat visits the rabbit.[(triple6)] The cow eats the rabbit.[(triple7)] The cow is blue.[(triple8)] The cow visits the squirrel.[(triple9)] The rabbit visits the cow.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel does not chase the cat.[(triple12)] The squirrel eats the rabbit.[(triple13)] The squirrel is green.[(triple14)] The squirrel visits the cow.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The cat does not visit the cat.[(((triple2) -> rule1))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple6
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple9
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple10
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple11
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
triple12
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The cat does not visit the cat.
("cat" "visits" "cat" "-")
((triple2) -> (rule1 % int1))
The cat does not visit the cat.
("cat" "visits" "cat" "-")
int1