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