The cat chases the rabbit. The cat is rough. The cow chases the dog. The cow is big. The cow is nice. The dog likes the cow. The dog visits the rabbit. The rabbit chases the dog. The rabbit likes the cow. The rabbit visits the cat. If someone visits the dog then the dog likes the cat. Blue people are nice. If someone visits the dog then the dog is nice. If the dog likes the cat and the dog visits the cat then the dog chases the rabbit. If someone chases the cow and they are rough then the cow chases the rabbit. If someone is blue then they chase the cow. If someone is rough then they like the rabbit. If the cat likes the rabbit then the rabbit visits the dog.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone visits the dog then the dog likes the cat.
((("someone" "visits" "dog" "+")) -> ("dog" "likes" "cat" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the dog then the dog is nice.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "nice" "+"))
If the dog likes the cat and the dog visits the cat then the dog chases the rabbit.
((("dog" "likes" "cat" "+") ("dog" "visits" "cat" "+")) -> ("dog" "chases" "rabbit" "+"))
If someone chases the cow and they are rough then the cow chases the rabbit.
((("someone" "chases" "cow" "+") ("someone" "is" "rough" "+")) -> ("cow" "chases" "rabbit" "+"))
If someone is blue then they chase the cow.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "cow" "+"))
If someone is rough then they like the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "rabbit" "+"))
If the cat likes the rabbit then the rabbit visits the dog.
((("cat" "likes" "rabbit" "+")) -> ("rabbit" "visits" "dog" "+"))
The dog visits the rabbit.
True
1
proof
[(triple7)]
("dog" "visits" "rabbit" "+")
triple7
The cat does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("cat" "chases" "rabbit" "-")
triple1
The cat likes the rabbit.
True
2
proof
[(((triple2) -> rule7))]
("cat" "likes" "rabbit" "+")
((triple2) -> (rule7 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The cat does not like the rabbit.
False
2
inv-proof
[(((triple2) -> rule7))]
("cat" "likes" "rabbit" "-")
((triple2) -> (rule7 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit visits the dog.
True
3
proof
[(((((triple2) -> rule7)) -> rule8))]
("rabbit" "visits" "dog" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int2
The rabbit does not visit the dog.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule8))]
("rabbit" "visits" "dog" "-")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int2
The dog likes the cat.
True
4
proof
[(((((((triple2) -> rule7)) -> rule8)) -> rule1))]
("dog" "likes" "cat" "+")
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int3
The dog is not nice.
False
4
inv-proof
[(((((((triple2) -> rule7)) -> rule8)) -> rule3))]
("dog" "is" "nice" "-")
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int3
The rabbit does not chase the cow.
Unknown
inv-rconc
[@1: The rabbit chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "chases" "cow" "-")
The cat chases the cow.
Unknown
rconc
[@1: The cat chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "chases" "cow" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "nice" "-")
The cow chases the rabbit.
Unknown
rconc
[@2: The cow chases the rabbit.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("cow" "chases" "rabbit" "+")
The cat does not visit the dog.
Unknown
inv-random
[@0: The cat visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "dog" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is rough.[(triple2)] The cow chases the dog.[(triple3)] The cow is big.[(triple4)] The cow is nice.[(triple5)] The dog likes the cow.[(triple6)] The dog visits the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The cat likes the rabbit.[(((triple2) -> rule7))] @2: The rabbit visits the dog.[(((((triple2) -> rule7)) -> rule8))] @3: The dog is nice.[(((((((triple2) -> rule7)) -> rule8)) -> rule3))] The dog likes the cat.[(((((((triple2) -> rule7)) -> rule8)) -> rule1))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cow chases the dog.
("cow" "chases" "dog" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The dog likes the cow.
("dog" "likes" "cow" "+")
triple6
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple9
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple10
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
((triple2) -> (rule7 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int3
The dog likes the cat.
("dog" "likes" "cat" "+")
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int3