The bear does not visit the dog. The dog is not nice. The rabbit visits the dog. If something chases the dog then it chases the rabbit. If something chases the rabbit then it visits the bear. If something visits the dog and it likes the bear then it visits the bear. If something chases the bear and it is not young then the bear is round. If the dog visits the bear and the bear is young then the dog does not chase the rabbit. If something likes the dog and it is nice then the dog is blue. If the bear does not visit the dog then the bear chases the dog. If something visits the bear and it does not chase the dog then it is round.
The bear does not visit the dog.
("bear" "visits" "dog" "-")
The dog is not nice.
("dog" "is" "nice" "-")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something chases the dog then it chases the rabbit.
((("something" "chases" "dog" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit then it visits the bear.
((("something" "chases" "rabbit" "+")) -> ("something" "visits" "bear" "+"))
If something visits the dog and it likes the bear then it visits the bear.
((("something" "visits" "dog" "+") ("something" "likes" "bear" "+")) -> ("something" "visits" "bear" "+"))
If something chases the bear and it is not young then the bear is round.
((("something" "chases" "bear" "+") ("something" "is" "young" "~")) -> ("bear" "is" "round" "+"))
If the dog visits the bear and the bear is young then the dog does not chase the rabbit.
((("dog" "visits" "bear" "+") ("bear" "is" "young" "+")) -> ("dog" "chases" "rabbit" "-"))
If something likes the dog and it is nice then the dog is blue.
((("something" "likes" "dog" "+") ("something" "is" "nice" "+")) -> ("dog" "is" "blue" "+"))
If the bear does not visit the dog then the bear chases the dog.
((("bear" "visits" "dog" "~")) -> ("bear" "chases" "dog" "+"))
If something visits the bear and it does not chase the dog then it is round.
((("something" "visits" "bear" "+") ("something" "chases" "dog" "~")) -> ("something" "is" "round" "+"))
The rabbit visits the dog.
True
1
proof
[(triple3)]
("rabbit" "visits" "dog" "+")
triple3
The rabbit does not visit the dog.
False
1
inv-proof
[(triple3)]
("rabbit" "visits" "dog" "-")
triple3
The bear chases the dog.
True
2
proof
[(((triple1) -> rule7))]
("bear" "chases" "dog" "+")
((triple1) -> (rule7 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear does not chase the dog.
False
2
inv-proof
[(((triple1) -> rule7))]
("bear" "chases" "dog" "-")
((triple1) -> (rule7 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear chases the rabbit.
True
3
proof
[(((((triple1) -> rule7)) -> rule1))]
("bear" "chases" "rabbit" "+")
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The bear does not chase the rabbit.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule1))]
("bear" "chases" "rabbit" "-")
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The bear visits the bear.
True
4
proof
[(((((((triple1) -> rule7)) -> rule1)) -> rule2))]
("bear" "visits" "bear" "+")
((((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The bear does not visit the bear.
False
4
inv-proof
[(((((((triple1) -> rule7)) -> rule1)) -> rule2))]
("bear" "visits" "bear" "-")
((((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "blue" "-")
The dog visits the bear.
Unknown
rconc
[@2: The dog visits the bear.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "visits" "bear" "+")
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "round" "-")
The dog chases the rabbit.
Unknown
rconc
[@1: The dog chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "rabbit" "+")
The bear does not visit the rabbit.
Unknown
inv-random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit chases the dog.
Unknown
random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "+")
@0: The bear does not visit the dog.[(triple1)] The dog is not nice.[(triple2)] The rabbit visits the dog.[(triple3)] @1: The bear chases the dog.[(((triple1) -> rule7))] @2: The bear chases the rabbit.[(((((triple1) -> rule7)) -> rule1))] @3: The bear visits the bear.[(((((((triple1) -> rule7)) -> rule1)) -> rule2))]
The bear does not visit the dog.
("bear" "visits" "dog" "-")
triple1
The dog is not nice.
("dog" "is" "nice" "-")
triple2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple3
The bear chases the dog.
("bear" "chases" "dog" "+")
((triple1) -> (rule7 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
((((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3