The cow does not chase the dog. The cow is big. The cow is cold. The cow is kind. The cow is not nice. The cow needs the dog. The cow does not visit the dog. The dog chases the cow. The dog is big. The dog is blue. The dog is not cold. The dog is not kind. The dog is not nice. The dog does not need the cow. The dog visits the cow. If someone chases the cow and they visit the dog then the cow is cold. If someone chases the dog and they are not kind then they visit the dog. If the dog visits the cow and the cow is nice then the dog chases the cow. If someone chases the dog and the dog needs the cow then the dog is nice. If someone needs the dog then they do not need the cow. If someone is kind and not cold then they do not need the cow.
The cow does not chase the dog.
("cow" "chases" "dog" "-")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is not nice.
("dog" "is" "nice" "-")
The dog does not need the cow.
("dog" "needs" "cow" "-")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone chases the cow and they visit the dog then the cow is cold.
((("someone" "chases" "cow" "+") ("someone" "visits" "dog" "+")) -> ("cow" "is" "cold" "+"))
If someone chases the dog and they are not kind then they visit the dog.
((("someone" "chases" "dog" "+") ("someone" "is" "kind" "~")) -> ("someone" "visits" "dog" "+"))
If the dog visits the cow and the cow is nice then the dog chases the cow.
((("dog" "visits" "cow" "+") ("cow" "is" "nice" "+")) -> ("dog" "chases" "cow" "+"))
If someone chases the dog and the dog needs the cow then the dog is nice.
((("someone" "chases" "dog" "+") ("dog" "needs" "cow" "+")) -> ("dog" "is" "nice" "+"))
If someone needs the dog then they do not need the cow.
((("someone" "needs" "dog" "+")) -> ("someone" "needs" "cow" "-"))
If someone is kind and not cold then they do not need the cow.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "needs" "cow" "-"))
The dog is not nice.
True
1
proof
[(triple13)]
("dog" "is" "nice" "-")
triple13
The cow does not need the dog.
False
1
inv-proof
[(triple6)]
("cow" "needs" "dog" "-")
triple6
The cow does not need the cow.
True
2
proof
[(((triple6) -> rule5))]
("cow" "needs" "cow" "-")
((triple6) -> (rule5 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1
The cow needs the cow.
False
2
inv-proof
[(((triple6) -> rule5))]
("cow" "needs" "cow" "+")
((triple6) -> (rule5 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "dog" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow does not chase the dog.[(triple1)] The cow does not visit the dog.[(triple7)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is not nice.[(triple5)] The cow needs the dog.[(triple6)] The dog chases the cow.[(triple8)] The dog does not need the cow.[(triple14)] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog is not cold.[(triple11)] The dog is not kind.[(triple12)] The dog is not nice.[(triple13)] The dog visits the cow.[(triple15)] @1: The cow does not need the cow.[(((triple6) -> rule5))]
The cow does not chase the dog.
("cow" "chases" "dog" "-")
triple1
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple7
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is not nice.
("cow" "is" "nice" "-")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
The dog chases the cow.
("dog" "chases" "cow" "+")
triple8
The dog does not need the cow.
("dog" "needs" "cow" "-")
triple14
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog is not cold.
("dog" "is" "cold" "-")
triple11
The dog is not kind.
("dog" "is" "kind" "-")
triple12
The dog is not nice.
("dog" "is" "nice" "-")
triple13
The dog visits the cow.
("dog" "visits" "cow" "+")
triple15
The cow does not need the cow.
("cow" "needs" "cow" "-")
((triple6) -> (rule5 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1