The bear does not eat the dog. The bear is not big. The cat chases the dog. The cat is rough. The cat visits the rabbit. The dog does not chase the cat. The dog chases the rabbit. The dog eats the cat. The dog is big. The dog is rough. The dog is round. The dog visits the bear. The dog visits the cat. The rabbit is rough. If the bear is big then the bear does not chase the rabbit. If something chases the dog and the dog visits the bear then it chases the cat. If something chases the bear then the bear chases the dog. If something eats the rabbit then the rabbit does not visit the dog. If something chases the cat then it chases the bear. If something is big then it is round.
The bear does not eat the dog.
("bear" "eats" "dog" "-")
The bear is not big.
("bear" "is" "big" "-")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog does not chase the cat.
("dog" "chases" "cat" "-")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If the bear is big then the bear does not chase the rabbit.
((("bear" "is" "big" "+")) -> ("bear" "chases" "rabbit" "-"))
If something chases the dog and the dog visits the bear then it chases the cat.
((("something" "chases" "dog" "+") ("dog" "visits" "bear" "+")) -> ("something" "chases" "cat" "+"))
If something chases the bear then the bear chases the dog.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "dog" "+"))
If something eats the rabbit then the rabbit does not visit the dog.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "visits" "dog" "-"))
If something chases the cat then it chases the bear.
((("something" "chases" "cat" "+")) -> ("something" "chases" "bear" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
The cat is rough.
True
1
proof
[(triple4)]
("cat" "is" "rough" "+")
triple4
The dog does not eat the cat.
False
1
inv-proof
[(triple8)]
("dog" "eats" "cat" "-")
triple8
The cat chases the cat.
True
3
proof
[(((triple3 triple12) -> rule2))]
("cat" "chases" "cat" "+")
((triple3 triple12) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
3
inv-proof
[(((triple3 triple12) -> rule2))]
("cat" "chases" "cat" "-")
((triple3 triple12) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the bear.
True
4
proof
[(((((triple3 triple12) -> rule2)) -> rule5))]
("cat" "chases" "bear" "+")
((((triple3 triple12) -> (rule2 % int2))) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat does not chase the bear.
False
4
inv-proof
[(((((triple3 triple12) -> rule2)) -> rule5))]
("cat" "chases" "bear" "-")
((((triple3 triple12) -> (rule2 % int2))) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The bear chases the dog.
True
5
proof
[(((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3))]
("bear" "chases" "dog" "+")
((((((triple3 triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The bear does not chase the dog.
False
5
inv-proof
[(((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3))]
("bear" "chases" "dog" "-")
((((((triple3 triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The bear chases the cat.
True
7
proof
[(((((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3) triple12) -> rule2))]
("bear" "chases" "cat" "+")
((((((((triple3 triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule2 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The bear does not chase the cat.
False
7
inv-proof
[(((((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3) triple12) -> rule2))]
("bear" "chases" "cat" "-")
((((((((triple3 triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule2 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The bear chases the bear.
True
8
proof
[(((((((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3) triple12) -> rule2)) -> rule5))]
("bear" "chases" "bear" "+")
((((((((((triple3 triple12) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5
The bear does not chase the bear.
False
8
inv-proof
[(((((((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3) triple12) -> rule2)) -> rule5))]
("bear" "chases" "bear" "-")
((((((((((triple3 triple12) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "round" "-")
The rabbit chases the bear.
Unknown
rconc
[@2: The rabbit chases the bear.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("rabbit" "chases" "bear" "+")
The dog does not chase the bear.
Unknown
inv-rconc
[@1: The dog chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "bear" "-")
The rabbit chases the cat.
Unknown
rconc
[@1: The rabbit chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "cat" "+")
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "round" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "round" "+")
The cat does not visit the bear.
Unknown
inv-random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The cat visits the dog.
Unknown
random
[@0: The cat visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "dog" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bear does not eat the dog.[(triple1)] The bear is not big.[(triple2)] The cat chases the dog.[(triple3)] The cat is rough.[(triple4)] The cat visits the rabbit.[(triple5)] The dog chases the rabbit.[(triple7)] The dog does not chase the cat.[(triple6)] The dog eats the cat.[(triple8)] The dog is big.[(triple9)] The dog is rough.[(triple10)] The dog is round.[(triple11 OR ((triple9) -> rule6))] The dog visits the bear.[(triple12)] The dog visits the cat.[(triple13)] The rabbit is rough.[(triple14)] @1: The cat chases the cat.[(((triple3 triple12) -> rule2))] @2: The cat chases the bear.[(((((triple3 triple12) -> rule2)) -> rule5))] @3: The bear chases the dog.[(((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3))] @4: The bear chases the cat.[(((((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3) triple12) -> rule2))] @5: The bear chases the bear.[(((((((((((triple3 triple12) -> rule2)) -> rule5)) -> rule3) triple12) -> rule2)) -> rule5))]
The bear does not eat the dog.
("bear" "eats" "dog" "-")
triple1
The bear is not big.
("bear" "is" "big" "-")
triple2
The cat chases the dog.
("cat" "chases" "dog" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple7
The dog does not chase the cat.
("dog" "chases" "cat" "-")
triple6
The dog eats the cat.
("dog" "eats" "cat" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
((triple9) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The dog visits the cat.
("dog" "visits" "cat" "+")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple3 triple12) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
((((triple3 triple12) -> (rule2 % int2))) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
((((((triple3 triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The bear chases the cat.
("bear" "chases" "cat" "+")
((((((((triple3 triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule2 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((((((triple3 triple12) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5