The cow does not chase the dog. The cow eats the dog. The cow is blue. The cow is kind. The cow is young. The cow does not see the dog. The dog chases the cow. The dog eats the cow. The dog is green. The dog is kind. The dog is red. The dog sees the cow. If someone eats the cow then they eat the dog. If someone is blue and they chase the cow then they chase the dog. If someone chases the cow then they are blue.
The cow does not chase the dog.
("cow" "chases" "dog" "-")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow does not see the dog.
("cow" "sees" "dog" "-")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If someone eats the cow then they eat the dog.
((("someone" "eats" "cow" "+")) -> ("someone" "eats" "dog" "+"))
If someone is blue and they chase the cow then they chase the dog.
((("someone" "is" "blue" "+") ("someone" "chases" "cow" "+")) -> ("someone" "chases" "dog" "+"))
If someone chases the cow then they are blue.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "blue" "+"))
The cow does not chase the dog.
True
1
proof
[(triple1)]
("cow" "chases" "dog" "-")
triple1
The cow sees the dog.
False
1
inv-proof
[(triple6)]
("cow" "sees" "dog" "+")
triple6
The dog eats the dog.
True
2
proof
[(((triple8) -> rule1))]
("dog" "eats" "dog" "+")
((triple8) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple7) -> rule3))]
("dog" "is" "blue" "-")
((triple7) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the dog.
True
4
proof
[(((((triple7) -> rule3) triple7) -> rule2))]
("dog" "chases" "dog" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog does not chase the dog.
False
4
inv-proof
[(((((triple7) -> rule3) triple7) -> rule2))]
("dog" "chases" "dog" "-")
((((triple7) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cow does not chase the dog.[(triple1)] The cow does not see the dog.[(triple6)] The cow eats the dog.[(triple2)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow is young.[(triple5)] The dog chases the cow.[(triple7)] The dog eats the cow.[(triple8)] The dog is green.[(triple9)] The dog is kind.[(triple10)] The dog is red.[(triple11)] The dog sees the cow.[(triple12)] @1: The dog eats the dog.[(((triple8) -> rule1))] The dog is blue.[(((triple7) -> rule3))] @2: The dog chases the dog.[(((((triple7) -> rule3) triple7) -> rule2))]
The cow does not chase the dog.
("cow" "chases" "dog" "-")
triple1
The cow does not see the dog.
("cow" "sees" "dog" "-")
triple6
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The dog is red.
("dog" "is" "red" "+")
triple11
The dog sees the cow.
("dog" "sees" "cow" "+")
triple12
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple8) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((triple7) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2