The cat chases the cow. The cat does not eat the cow. The cat is big. The cat is green. The cat is red. The cat is round. The cat visits the cow. The cow chases the cat. The cow eats the cat. The cow is big. The cow is not green. The cow is red. The cow is round. The cow is not young. The cow visits the cat. If someone eats the cat then they chase the cow. If someone visits the cow then the cow eats the cat. If someone is red and they do not chase the cow then the cow does not visit the cat.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat does not eat the cow.
("cat" "eats" "cow" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow visits the cat.
("cow" "visits" "cat" "+")
If someone eats the cat then they chase the cow.
((("someone" "eats" "cat" "+")) -> ("someone" "chases" "cow" "+"))
If someone visits the cow then the cow eats the cat.
((("someone" "visits" "cow" "+")) -> ("cow" "eats" "cat" "+"))
If someone is red and they do not chase the cow then the cow does not visit the cat.
((("someone" "is" "red" "+") ("someone" "chases" "cow" "~")) -> ("cow" "visits" "cat" "-"))
The cow is not green.
True
1
proof
[(triple11)]
("cow" "is" "green" "-")
triple11
The cat does not chase the cow.
False
1
inv-proof
[(triple1)]
("cat" "chases" "cow" "-")
triple1
The cow chases the cow.
True
2
proof
[(((triple9) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
("cow" "chases" "cow" "+")
((triple9) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The cow does not chase the cow.
False
2
inv-proof
[(((triple9) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
("cow" "chases" "cow" "-")
((triple9) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat chases the cow.[(triple1)] The cat does not eat the cow.[(triple2)] The cat is big.[(triple3)] The cat is green.[(triple4)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat visits the cow.[(triple7)] The cow chases the cat.[(triple8)] The cow eats the cat.[(triple9 OR ((triple7) -> rule2))] The cow is big.[(triple10)] The cow is not green.[(triple11)] The cow is not young.[(triple14)] The cow is red.[(triple12)] The cow is round.[(triple13)] The cow visits the cat.[(triple15)] @1: The cow chases the cow.[(((triple9) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not eat the cow.
("cat" "eats" "cow" "-")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat visits the cow.
("cat" "visits" "cow" "+")
triple7
The cow chases the cat.
("cow" "chases" "cat" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
((triple7) -> (rule2 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow is big.
("cow" "is" "big" "+")
triple10
The cow is not green.
("cow" "is" "green" "-")
triple11
The cow is not young.
("cow" "is" "young" "-")
triple14
The cow is red.
("cow" "is" "red" "+")
triple12
The cow is round.
("cow" "is" "round" "+")
triple13
The cow visits the cat.
("cow" "visits" "cat" "+")
triple15
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple9) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2