The cow does not eat the dog. The cow is not blue. The cow likes the dog. The cow does not need the dog. The dog eats the cow. The dog is not round. The dog likes the cow. If someone eats the cow then they like the dog. If the dog needs the cow and the dog likes the cow then the cow eats the dog. If someone needs the cow then the cow is not big. If someone likes the dog and they need the dog then they eat the dog. If someone is big and rough then they are not round. If the dog does not need the cow and the cow is not big then the dog is rough.
The cow does not eat the dog.
("cow" "eats" "dog" "-")
The cow is not blue.
("cow" "is" "blue" "-")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow does not need the dog.
("cow" "needs" "dog" "-")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog likes the cow.
("dog" "likes" "cow" "+")
If someone eats the cow then they like the dog.
((("someone" "eats" "cow" "+")) -> ("someone" "likes" "dog" "+"))
If the dog needs the cow and the dog likes the cow then the cow eats the dog.
((("dog" "needs" "cow" "+") ("dog" "likes" "cow" "+")) -> ("cow" "eats" "dog" "+"))
If someone needs the cow then the cow is not big.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "big" "-"))
If someone likes the dog and they need the dog then they eat the dog.
((("someone" "likes" "dog" "+") ("someone" "needs" "dog" "+")) -> ("someone" "eats" "dog" "+"))
If someone is big and rough then they are not round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
If the dog does not need the cow and the cow is not big then the dog is rough.
((("dog" "needs" "cow" "~") ("cow" "is" "big" "~")) -> ("dog" "is" "rough" "+"))
The cow does not need the dog.
True
1
proof
[(triple4)]
("cow" "needs" "dog" "-")
triple4
The cow needs the dog.
False
1
inv-proof
[(triple4)]
("cow" "needs" "dog" "+")
triple4
The dog likes the dog.
True
2
proof
[(((triple5) -> rule1))]
("dog" "likes" "dog" "+")
((triple5) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog does not like the dog.
False
2
inv-proof
[(((triple5) -> rule1))]
("dog" "likes" "dog" "-")
((triple5) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "rough" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "dog" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow does not eat the dog.[(triple1)] The cow does not need the dog.[(triple4)] The cow is not blue.[(triple2)] The cow likes the dog.[(triple3)] The dog eats the cow.[(triple5)] The dog is not round.[(triple6)] The dog likes the cow.[(triple7)] @1: The dog likes the dog.[(((triple5) -> rule1))]
The cow does not eat the dog.
("cow" "eats" "dog" "-")
triple1
The cow does not need the dog.
("cow" "needs" "dog" "-")
triple4
The cow is not blue.
("cow" "is" "blue" "-")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The dog eats the cow.
("dog" "eats" "cow" "+")
triple5
The dog is not round.
("dog" "is" "round" "-")
triple6
The dog likes the cow.
("dog" "likes" "cow" "+")
triple7
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple5) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1