The cat chases the rabbit. The cat is round. The cow does not visit the cat. The cow visits the rabbit. The dog chases the cow. The dog is kind. The rabbit chases the cat. The rabbit eats the cow. The rabbit visits the cat. The rabbit visits the dog. If someone is rough then they visit the dog. If someone visits the rabbit then they are rough. If the rabbit eats the cow then the rabbit chases the cat.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is round.
("cat" "is" "round" "+")
The cow does not visit the cat.
("cow" "visits" "cat" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is kind.
("dog" "is" "kind" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone is rough then they visit the dog.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the rabbit then they are rough.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "rough" "+"))
If the rabbit eats the cow then the rabbit chases the cat.
((("rabbit" "eats" "cow" "+")) -> ("rabbit" "chases" "cat" "+"))
The dog chases the cow.
True
1
proof
[(triple5)]
("dog" "chases" "cow" "+")
triple5
The rabbit does not visit the dog.
False
1
inv-proof
[(triple10)]
("rabbit" "visits" "dog" "-")
triple10
The cow is rough.
True
2
proof
[(((triple4) -> rule2))]
("cow" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("cow" "is" "rough" "-")
((triple4) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow visits the dog.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("cow" "visits" "dog" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow does not visit the dog.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("cow" "visits" "dog" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "rough" "-")
The dog visits the dog.
Unknown
rconc
[@2: The dog visits the dog.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("dog" "visits" "dog" "+")
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "rough" "-")
The cow chases the rabbit.
Unknown
random
[@0: The cow chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "rabbit" "+")
The cow does not eat the dog.
Unknown
inv-random
[@0: The cow eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "dog" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is round.[(triple2)] The cow does not visit the cat.[(triple3)] The cow visits the rabbit.[(triple4)] The dog chases the cow.[(triple5)] The dog is kind.[(triple6)] The rabbit chases the cat.[(triple7 OR ((triple8) -> rule3))] The rabbit eats the cow.[(triple8)] The rabbit visits the cat.[(triple9)] The rabbit visits the dog.[(triple10)] @1: The cow is rough.[(((triple4) -> rule2))] @2: The cow visits the dog.[(((((triple4) -> rule2)) -> rule1))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cow does not visit the cat.
("cow" "visits" "cat" "-")
triple3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple4
The dog chases the cow.
("dog" "chases" "cow" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple7
((triple8) -> (rule3 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple9
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple10
The cow is rough.
("cow" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2