The cat chases the dog. The dog chases the cat. Nice people are round. If someone likes the dog then they visit the cat. If someone likes the dog then the dog likes the cat. If someone chases the cat then the cat is young. If someone is round and they chase the dog then they visit the cat. If someone chases the cat then the cat likes the dog.
The cat chases the dog.
("cat" "chases" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone likes the dog then they visit the cat.
((("someone" "likes" "dog" "+")) -> ("someone" "visits" "cat" "+"))
If someone likes the dog then the dog likes the cat.
((("someone" "likes" "dog" "+")) -> ("dog" "likes" "cat" "+"))
If someone chases the cat then the cat is young.
((("someone" "chases" "cat" "+")) -> ("cat" "is" "young" "+"))
If someone is round and they chase the dog then they visit the cat.
((("someone" "is" "round" "+") ("someone" "chases" "dog" "+")) -> ("someone" "visits" "cat" "+"))
If someone chases the cat then the cat likes the dog.
((("someone" "chases" "cat" "+")) -> ("cat" "likes" "dog" "+"))
The dog chases the cat.
True
1
proof
[(triple2)]
("dog" "chases" "cat" "+")
triple2
The dog does not chase the cat.
False
1
inv-proof
[(triple2)]
("dog" "chases" "cat" "-")
triple2
The cat likes the dog.
True
2
proof
[(((triple2) -> rule6))]
("cat" "likes" "dog" "+")
((triple2) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat does not like the dog.
False
2
inv-proof
[(((triple2) -> rule6))]
("cat" "likes" "dog" "-")
((triple2) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat visits the cat.
True
3
proof
[(((((triple2) -> rule6)) -> rule2))]
("cat" "visits" "cat" "+")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The cat does not visit the cat.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule2))]
("cat" "visits" "cat" "-")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog does not visit the cat.
Unknown
inv-rconc
[@1: The dog visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "cat" "-")
The cat is round.
Unknown
rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "round" "+")
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "round" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The cat chases the dog.[(triple1)] The dog chases the cat.[(triple2)] @1: The cat is young.[(((triple2) -> rule4))] The cat likes the dog.[(((triple2) -> rule6))] @2: The cat visits the cat.[(((((triple2) -> rule6)) -> rule2))] The dog likes the cat.[(((((triple2) -> rule6)) -> rule3))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The dog chases the cat.
("dog" "chases" "cat" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
((triple2) -> (rule4 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
((triple2) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog likes the cat.
("dog" "likes" "cat" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2