The cow is big. The cow is kind. The cow is nice. The cow is not red. The cow needs the dog. The cow sees the dog. The cow does not visit the dog. The dog is big. The dog is not kind. The dog is nice. The dog is red. The dog is not rough. The dog needs the cow. The dog sees the cow. The dog visits the cow. If something visits the cow then it needs the cow.
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If something visits the cow then it needs the cow.
((("something" "visits" "cow" "+")) -> ("something" "needs" "cow" "+"))
The cow sees the dog.
True
1
proof
[(triple6)]
("cow" "sees" "dog" "+")
triple6
The dog is rough.
False
1
inv-proof
[(triple12)]
("dog" "is" "rough" "+")
triple12
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "cow" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The cow does not visit the dog.[(triple7)] The cow is big.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is not red.[(triple4)] The cow needs the dog.[(triple5)] The cow sees the dog.[(triple6)] The dog is big.[(triple8)] The dog is nice.[(triple10)] The dog is not kind.[(triple9)] The dog is not rough.[(triple12)] The dog is red.[(triple11)] The dog needs the cow.[(triple13 OR ((triple15) -> rule1))] The dog sees the cow.[(triple14)] The dog visits the cow.[(triple15)]
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple7
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not red.
("cow" "is" "red" "-")
triple4
The cow needs the dog.
("cow" "needs" "dog" "+")
triple5
The cow sees the dog.
("cow" "sees" "dog" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog is not kind.
("dog" "is" "kind" "-")
triple9
The dog is not rough.
("dog" "is" "rough" "-")
triple12
The dog is red.
("dog" "is" "red" "+")
triple11
The dog needs the cow.
("dog" "needs" "cow" "+")
triple13
((triple15) -> (rule1 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
triple14
The dog visits the cow.
("dog" "visits" "cow" "+")
triple15