The cow chases the dog. The cow is green. The cow is red. The cow needs the dog. The dog chases the cow. The dog is big. The dog is green. The dog is red. The dog likes the cow. The dog needs the cow. If something needs the dog then it likes the dog. If something is cold and it does not chase the dog then it is green.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If something needs the dog then it likes the dog.
((("something" "needs" "dog" "+")) -> ("something" "likes" "dog" "+"))
If something is cold and it does not chase the dog then it is green.
((("something" "is" "cold" "+") ("something" "chases" "dog" "~")) -> ("something" "is" "green" "+"))
The dog likes the cow.
True
1
proof
[(triple9)]
("dog" "likes" "cow" "+")
triple9
The dog is not red.
False
1
inv-proof
[(triple8)]
("dog" "is" "red" "-")
triple8
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The cow chases the dog.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3)] The cow needs the dog.[(triple4)] The dog chases the cow.[(triple5)] The dog is big.[(triple6)] The dog is green.[(triple7)] The dog is red.[(triple8)] The dog likes the cow.[(triple9)] The dog needs the cow.[(triple10)] @1: The cow likes the dog.[(((triple4) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple4
The dog chases the cow.
("dog" "chases" "cow" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog likes the cow.
("dog" "likes" "cow" "+")
triple9
The dog needs the cow.
("dog" "needs" "cow" "+")
triple10
The cow likes the dog.
("cow" "likes" "dog" "+")
((triple4) -> (rule1 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1