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