The cat eats the dog. The cat visits the dog. The cow eats the dog. The cow is green. The cow is nice. The cow likes the dog. The cow likes the rabbit. The dog is round. The dog is young. The dog visits the cow. The rabbit is green. The rabbit likes the cow. If something visits the dog and the dog likes the cat then it visits the cat. If something is round then it likes the cat.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If something visits the dog and the dog likes the cat then it visits the cat.
((("something" "visits" "dog" "+") ("dog" "likes" "cat" "+")) -> ("something" "visits" "cat" "+"))
If something is round then it likes the cat.
((("something" "is" "round" "+")) -> ("something" "likes" "cat" "+"))
The rabbit is green.
True
1
proof
[(triple11)]
("rabbit" "is" "green" "+")
triple11
The cow does not like the rabbit.
False
1
inv-proof
[(triple7)]
("cow" "likes" "rabbit" "-")
triple7
The dog likes the cat.
True
2
proof
[(((triple8) -> rule2))]
("dog" "likes" "cat" "+")
((triple8) -> (rule2 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The dog does not like the cat.
False
2
inv-proof
[(((triple8) -> rule2))]
("dog" "likes" "cat" "-")
((triple8) -> (rule2 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The cat visits the cat.
True
4
proof
[(((triple2 ((triple8) -> rule2)) -> rule1))]
("cat" "visits" "cat" "+")
((triple2 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The dog likes the cat.
("dog" "likes" "cat" "+")
int2
The cat does not visit the cat.
False
4
inv-proof
[(((triple2 ((triple8) -> rule2)) -> rule1))]
("cat" "visits" "cat" "-")
((triple2 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The dog likes the cat.
("dog" "likes" "cat" "+")
int2
The rabbit does not visit the cat.
Unknown
inv-rconc
[@1: The rabbit visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "cat" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "cat" "+")
The cow does not visit the cat.
Unknown
inv-rconc
[@1: The cow visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "cat" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The cat eats the dog.[(triple1)] The cat visits the dog.[(triple2)] The cow eats the dog.[(triple3)] The cow is green.[(triple4)] The cow is nice.[(triple5)] The cow likes the dog.[(triple6)] The cow likes the rabbit.[(triple7)] The dog is round.[(triple8)] The dog is young.[(triple9)] The dog visits the cow.[(triple10)] The rabbit is green.[(triple11)] The rabbit likes the cow.[(triple12)] @1: The dog likes the cat.[(((triple8) -> rule2))] @2: The cat visits the cat.[(((triple2 ((triple8) -> rule2)) -> rule1))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat visits the dog.
("cat" "visits" "dog" "+")
triple2
The cow eats the dog.
("cow" "eats" "dog" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow likes the dog.
("cow" "likes" "dog" "+")
triple6
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple12
The dog likes the cat.
("dog" "likes" "cat" "+")
((triple8) -> (rule2 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple2 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The dog likes the cat.
("dog" "likes" "cat" "+")
int2