The cow does not chase the lion. The cow eats the dog. The cow is not nice. The cow is rough. The cow is round. The dog chases the cow. The dog is blue. The dog is nice. The dog is red. The dog is round. The dog sees the cow. The dog sees the lion. The lion eats the cow. The lion is not nice. The lion is round. The lion sees the dog. If something sees the cow and the cow is rough then it does not eat the cow. If something is rough then it does not see the lion. If the cow does not see the lion then the lion eats the dog.
The cow does not chase the lion.
("cow" "chases" "lion" "-")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is round.
("lion" "is" "round" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If something sees the cow and the cow is rough then it does not eat the cow.
((("something" "sees" "cow" "+") ("cow" "is" "rough" "+")) -> ("something" "eats" "cow" "-"))
If something is rough then it does not see the lion.
((("something" "is" "rough" "+")) -> ("something" "sees" "lion" "-"))
If the cow does not see the lion then the lion eats the dog.
((("cow" "sees" "lion" "~")) -> ("lion" "eats" "dog" "+"))
The dog is red.
True
1
proof
[(triple9)]
("dog" "is" "red" "+")
triple9
The dog is not round.
False
1
inv-proof
[(triple10)]
("dog" "is" "round" "-")
triple10
The cow does not see the lion.
True
2
proof
[(((triple4) -> rule2))]
("cow" "sees" "lion" "-")
((triple4) -> (rule2 % int1))
The cow does not see the lion.
("cow" "sees" "lion" "-")
int1
The cow sees the lion.
False
2
inv-proof
[(((triple4) -> rule2))]
("cow" "sees" "lion" "+")
((triple4) -> (rule2 % int1))
The cow does not see the lion.
("cow" "sees" "lion" "-")
int1
The lion eats the dog.
True
3
proof
[(((((triple4) -> rule2)) -> rule3))]
("lion" "eats" "dog" "+")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The cow does not see the lion.
("cow" "sees" "lion" "-")
int2
The lion does not eat the dog.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule3))]
("lion" "eats" "dog" "-")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The cow does not see the lion.
("cow" "sees" "lion" "-")
int2
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The lion chases the cow.
Unknown
random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "+")
The lion does not see the cow.
Unknown
inv-random
[@0: The lion sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog chases the lion.
Unknown
random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "+")
@0: The cow does not chase the lion.[(triple1)] The cow eats the dog.[(triple2)] The cow is not nice.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)] The dog chases the cow.[(triple6)] The dog is blue.[(triple7)] The dog is nice.[(triple8)] The dog is red.[(triple9)] The dog is round.[(triple10)] The dog sees the cow.[(triple11)] The dog sees the lion.[(triple12)] The lion eats the cow.[(triple13)] The lion is not nice.[(triple14)] The lion is round.[(triple15)] The lion sees the dog.[(triple16)] @1: The cow does not see the lion.[(((triple4) -> rule2))] The dog does not eat the cow.[(((triple11 triple4) -> rule1))] @2: The lion eats the dog.[(((((triple4) -> rule2)) -> rule3))]
The cow does not chase the lion.
("cow" "chases" "lion" "-")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow is not nice.
("cow" "is" "nice" "-")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog is round.
("dog" "is" "round" "+")
triple10
The dog sees the cow.
("dog" "sees" "cow" "+")
triple11
The dog sees the lion.
("dog" "sees" "lion" "+")
triple12
The lion eats the cow.
("lion" "eats" "cow" "+")
triple13
The lion is not nice.
("lion" "is" "nice" "-")
triple14
The lion is round.
("lion" "is" "round" "+")
triple15
The lion sees the dog.
("lion" "sees" "dog" "+")
triple16
The cow does not see the lion.
("cow" "sees" "lion" "-")
((triple4) -> (rule2 % int1))
The cow does not see the lion.
("cow" "sees" "lion" "-")
int1
The dog does not eat the cow.
("dog" "eats" "cow" "-")
((triple11 triple4) -> (rule1 % int1))
The dog does not eat the cow.
("dog" "eats" "cow" "-")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The cow does not see the lion.
("cow" "sees" "lion" "-")
int2