The cow is green. The cow is nice. The cow is young. The dog is young. The dog likes the cow. The dog needs the cow. The dog visits the cow. If someone needs the dog and they like the cow then they visit the dog. If the cow is rough and the cow likes the dog then the dog likes the cow. If someone needs the cow and they like the cow then they like the dog.
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
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 needs the dog and they like the cow then they visit the dog.
((("someone" "needs" "dog" "+") ("someone" "likes" "cow" "+")) -> ("someone" "visits" "dog" "+"))
If the cow is rough and the cow likes the dog then the dog likes the cow.
((("cow" "is" "rough" "+") ("cow" "likes" "dog" "+")) -> ("dog" "likes" "cow" "+"))
If someone needs the cow and they like the cow then they like the dog.
((("someone" "needs" "cow" "+") ("someone" "likes" "cow" "+")) -> ("someone" "likes" "dog" "+"))
The cow is young.
True
1
proof
[(triple3)]
("cow" "is" "young" "+")
triple3
The cow is not green.
False
1
inv-proof
[(triple1)]
("cow" "is" "green" "-")
triple1
The cow does not visit the dog.
Unknown
inv-rconc
[@1: The cow visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "dog" "-")
The cow needs the dog.
Unknown
random
[@0: The cow needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "dog" "+")
@0: The cow is green.[(triple1)] The cow is nice.[(triple2)] The cow is young.[(triple3)] The dog is young.[(triple4)] The dog likes the cow.[(triple5)] The dog needs the cow.[(triple6)] The dog visits the cow.[(triple7)] @1: The dog likes the dog.[(((triple6 triple5) -> rule3))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog likes the cow.
("dog" "likes" "cow" "+")
triple5
The dog needs the cow.
("dog" "needs" "cow" "+")
triple6
The dog visits the cow.
("dog" "visits" "cow" "+")
triple7
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple6 triple5) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1