The cow eats the dog. The cow is big. The cow is blue. The cow is green. The cow is not kind. The cow is young. The cow likes the dog. The cow sees the dog. The dog eats the cow. The dog is big. The dog is blue. The dog is green. The dog is kind. The dog is young. The dog likes the cow. The dog does not see the cow. If someone is big and they like the dog then they see the cow.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog does not see the cow.
("dog" "sees" "cow" "-")
If someone is big and they like the dog then they see the cow.
((("someone" "is" "big" "+") ("someone" "likes" "dog" "+")) -> ("someone" "sees" "cow" "+"))
The dog eats the cow.
True
1
proof
[(triple9)]
("dog" "eats" "cow" "+")
triple9
The dog does not eat the cow.
False
1
inv-proof
[(triple9)]
("dog" "eats" "cow" "-")
triple9
The cow sees the cow.
True
3
proof
[(((triple2 triple7) -> rule1))]
("cow" "sees" "cow" "+")
((triple2 triple7) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not see the cow.
False
3
inv-proof
[(((triple2 triple7) -> rule1))]
("cow" "sees" "cow" "-")
((triple2 triple7) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
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 cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The cow eats the dog.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is green.[(triple4)] The cow is not kind.[(triple5)] The cow is young.[(triple6)] The cow likes the dog.[(triple7)] The cow sees the dog.[(triple8)] The dog does not see the cow.[(triple16)] The dog eats the cow.[(triple9)] The dog is big.[(triple10)] The dog is blue.[(triple11)] The dog is green.[(triple12)] The dog is kind.[(triple13)] The dog is young.[(triple14)] The dog likes the cow.[(triple15)] @1: The cow sees the cow.[(((triple2 triple7) -> rule1))]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is not kind.
("cow" "is" "kind" "-")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow likes the dog.
("cow" "likes" "dog" "+")
triple7
The cow sees the dog.
("cow" "sees" "dog" "+")
triple8
The dog does not see the cow.
("dog" "sees" "cow" "-")
triple16
The dog eats the cow.
("dog" "eats" "cow" "+")
triple9
The dog is big.
("dog" "is" "big" "+")
triple10
The dog is blue.
("dog" "is" "blue" "+")
triple11
The dog is green.
("dog" "is" "green" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14
The dog likes the cow.
("dog" "likes" "cow" "+")
triple15
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple2 triple7) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1