The cat likes the cow. The cow chases the cat. The dog is big. The squirrel likes the cow. If someone likes the cow then the cow is not cold.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone likes the cow then the cow is not cold.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "cold" "-"))
The squirrel likes the cow.
True
1
proof
[(triple4)]
("squirrel" "likes" "cow" "+")
triple4
The squirrel does not like the cow.
False
1
inv-proof
[(triple4)]
("squirrel" "likes" "cow" "-")
triple4
The cow is not cold.
True
2
proof
[(((triple1) -> rule1) OR ((triple4) -> rule1))]
("cow" "is" "cold" "-")
((triple1) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
((triple4) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
The cow is cold.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple4) -> rule1))]
("cow" "is" "cold" "+")
((triple1) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
((triple4) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
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 dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The cat likes the cow.[(triple1)] The cow chases the cat.[(triple2)] The dog is big.[(triple3)] The squirrel likes the cow.[(triple4)] @1: The cow is not cold.[(((triple1) -> rule1) OR ((triple4) -> rule1))]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cow chases the cat.
("cow" "chases" "cat" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple4
The cow is not cold.
("cow" "is" "cold" "-")
((triple1) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
((triple4) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1