The bear does not eat the rabbit. The bear is not nice. The bear visits the dog. The bear visits the tiger. The dog chases the rabbit. The dog eats the bear. The dog is not round. The dog visits the tiger. The rabbit does not chase the tiger. The rabbit eats the dog. The rabbit is big. The rabbit is red. The rabbit visits the bear. The tiger does not chase the bear. The tiger does not chase the rabbit. The tiger is nice. If someone visits the tiger and the tiger does not visit the dog then the dog chases the bear. If someone chases the dog then the dog eats the tiger. If the bear chases the dog then the bear chases the tiger. If someone chases the rabbit then the rabbit eats the bear. If someone chases the bear then they are not round. If someone visits the rabbit and they chase the dog then the dog visits the rabbit. If the rabbit eats the bear then the rabbit chases the bear. If someone is round and nice then they eat the rabbit.
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
The bear is not nice.
("bear" "is" "nice" "-")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone visits the tiger and the tiger does not visit the dog then the dog chases the bear.
((("someone" "visits" "tiger" "+") ("tiger" "visits" "dog" "~")) -> ("dog" "chases" "bear" "+"))
If someone chases the dog then the dog eats the tiger.
((("someone" "chases" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
If the bear chases the dog then the bear chases the tiger.
((("bear" "chases" "dog" "+")) -> ("bear" "chases" "tiger" "+"))
If someone chases the rabbit then the rabbit eats the bear.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "eats" "bear" "+"))
If someone chases the bear then they are not round.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "round" "-"))
If someone visits the rabbit and they chase the dog then the dog visits the rabbit.
((("someone" "visits" "rabbit" "+") ("someone" "chases" "dog" "+")) -> ("dog" "visits" "rabbit" "+"))
If the rabbit eats the bear then the rabbit chases the bear.
((("rabbit" "eats" "bear" "+")) -> ("rabbit" "chases" "bear" "+"))
If someone is round and nice then they eat the rabbit.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "eats" "rabbit" "+"))
The rabbit is red.
True
1
proof
[(triple12)]
("rabbit" "is" "red" "+")
triple12
The dog does not chase the rabbit.
False
1
inv-proof
[(triple5)]
("dog" "chases" "rabbit" "-")
triple5
The rabbit eats the bear.
True
2
proof
[(((triple5) -> rule4))]
("rabbit" "eats" "bear" "+")
((triple5) -> (rule4 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit does not eat the bear.
False
2
inv-proof
[(((triple5) -> rule4))]
("rabbit" "eats" "bear" "-")
((triple5) -> (rule4 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit chases the bear.
True
3
proof
[(((((triple5) -> rule4)) -> rule7))]
("rabbit" "chases" "bear" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The rabbit does not chase the bear.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule7))]
("rabbit" "chases" "bear" "-")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The rabbit is not round.
True
4
proof
[(((((((triple5) -> rule4)) -> rule7)) -> rule5))]
("rabbit" "is" "round" "-")
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int3
The rabbit is round.
False
4
inv-proof
[(((((((triple5) -> rule4)) -> rule7)) -> rule5))]
("rabbit" "is" "round" "+")
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int3
The dog does not eat the rabbit.
Unknown
inv-rconc
[@1: The dog eats the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "eats" "rabbit" "-")
The dog eats the tiger.
Unknown
rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "tiger" "+")
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The dog chases the bear.
Unknown
rconc
[@1: The dog chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "bear" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The rabbit chases the dog.
Unknown
random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The bear does not eat the rabbit.[(triple1)] The bear is not nice.[(triple2)] The bear visits the dog.[(triple3)] The bear visits the tiger.[(triple4)] The dog chases the rabbit.[(triple5)] The dog eats the bear.[(triple6)] The dog is not round.[(triple7)] The dog visits the tiger.[(triple8)] The rabbit does not chase the tiger.[(triple9)] The rabbit eats the dog.[(triple10)] The rabbit is big.[(triple11)] The rabbit is red.[(triple12)] The rabbit visits the bear.[(triple13)] The tiger does not chase the bear.[(triple14)] The tiger does not chase the rabbit.[(triple15)] The tiger is nice.[(triple16)] @1: The rabbit eats the bear.[(((triple5) -> rule4))] @2: The rabbit chases the bear.[(((((triple5) -> rule4)) -> rule7))] @3: The rabbit is not round.[(((((((triple5) -> rule4)) -> rule7)) -> rule5))]
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
triple1
The bear is not nice.
("bear" "is" "nice" "-")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog is not round.
("dog" "is" "round" "-")
triple7
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple8
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
triple9
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple13
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
triple14
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
triple15
The tiger is nice.
("tiger" "is" "nice" "+")
triple16
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
((triple5) -> (rule4 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The rabbit is not round.
("rabbit" "is" "round" "-")
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int3