The cow is blue. The cow is cold. The cow is not kind. The cow is rough. The cow is young. The cow does not like the dog. The cow needs the dog. The cow visits the dog. The dog is blue. The dog is cold. The dog is not kind. The dog is not rough. The dog is young. The dog likes the cow. The dog needs the cow. The dog visits the cow. If someone is kind then they visit the dog. If someone needs the cow and they are not young then the cow is not kind. If someone likes the cow then they visit the cow.
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow does not like the dog.
("cow" "likes" "dog" "-")
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 cold.
("dog" "is" "cold" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is not rough.
("dog" "is" "rough" "-")
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 is kind then they visit the dog.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "dog" "+"))
If someone needs the cow and they are not young then the cow is not kind.
((("someone" "needs" "cow" "+") ("someone" "is" "young" "~")) -> ("cow" "is" "kind" "-"))
If someone likes the cow then they visit the cow.
((("someone" "likes" "cow" "+")) -> ("someone" "visits" "cow" "+"))
The dog is blue.
True
1
proof
[(triple9)]
("dog" "is" "blue" "+")
triple9
The dog is kind.
False
1
inv-proof
[(triple11)]
("dog" "is" "kind" "+")
triple11
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow does not like the dog.[(triple6)] The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is not kind.[(triple3)] The cow is rough.[(triple4)] The cow is young.[(triple5)] The cow needs the dog.[(triple7)] The cow visits the dog.[(triple8)] The dog is blue.[(triple9)] The dog is cold.[(triple10)] The dog is not kind.[(triple11)] The dog is not rough.[(triple12)] The dog is young.[(triple13)] The dog likes the cow.[(triple14)] The dog needs the cow.[(triple15)] The dog visits the cow.[(triple16 OR ((triple14) -> rule3))]
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple7
The cow visits the dog.
("cow" "visits" "dog" "+")
triple8
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
triple10
The dog is not kind.
("dog" "is" "kind" "-")
triple11
The dog is not rough.
("dog" "is" "rough" "-")
triple12
The dog is young.
("dog" "is" "young" "+")
triple13
The dog likes the cow.
("dog" "likes" "cow" "+")
triple14
The dog needs the cow.
("dog" "needs" "cow" "+")
triple15
The dog visits the cow.
("dog" "visits" "cow" "+")
triple16
((triple14) -> (rule3 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1