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