The bear does not need the cat. The cat is kind. The dog visits the bear. The rabbit visits the cat. If something eats the rabbit then it is red. If the bear eats the cat then the cat visits the dog. If something eats the cat and the cat visits the dog then it eats the dog. If something eats the bear then it visits the dog. If something visits the bear then the bear visits the dog. If something eats the cat then it eats the rabbit. If something needs the dog and it is cold then it is big. If something is kind then it eats the cat.
The bear does not need the cat.
("bear" "needs" "cat" "-")
The cat is kind.
("cat" "is" "kind" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something eats the rabbit then it is red.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "red" "+"))
If the bear eats the cat then the cat visits the dog.
((("bear" "eats" "cat" "+")) -> ("cat" "visits" "dog" "+"))
If something eats the cat and the cat visits the dog then it eats the dog.
((("something" "eats" "cat" "+") ("cat" "visits" "dog" "+")) -> ("something" "eats" "dog" "+"))
If something eats the bear then it visits the dog.
((("something" "eats" "bear" "+")) -> ("something" "visits" "dog" "+"))
If something visits the bear then the bear visits the dog.
((("something" "visits" "bear" "+")) -> ("bear" "visits" "dog" "+"))
If something eats the cat then it eats the rabbit.
((("something" "eats" "cat" "+")) -> ("something" "eats" "rabbit" "+"))
If something needs the dog and it is cold then it is big.
((("something" "needs" "dog" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is kind then it eats the cat.
((("something" "is" "kind" "+")) -> ("something" "eats" "cat" "+"))
The rabbit visits the cat.
True
1
proof
[(triple4)]
("rabbit" "visits" "cat" "+")
triple4
The rabbit does not visit the cat.
False
1
inv-proof
[(triple4)]
("rabbit" "visits" "cat" "-")
triple4
The bear visits the dog.
True
2
proof
[(((triple3) -> rule5))]
("bear" "visits" "dog" "+")
((triple3) -> (rule5 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The cat does not eat the cat.
False
2
inv-proof
[(((triple2) -> rule8))]
("cat" "eats" "cat" "-")
((triple2) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the rabbit.
True
3
proof
[(((((triple2) -> rule8)) -> rule6))]
("cat" "eats" "rabbit" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat does not eat the rabbit.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule6))]
("cat" "eats" "rabbit" "-")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The dog does not eat the rabbit.
Unknown
inv-rconc
[@2: The dog eats the rabbit.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("dog" "eats" "rabbit" "-")
The cat visits the dog.
Unknown
rconc
[@2: The cat visits the dog.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("cat" "visits" "dog" "+")
The rabbit does not eat the cat.
Unknown
inv-rconc
[@1: The rabbit eats the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "eats" "cat" "-")
The cat eats the bear.
Unknown
random
[@0: The cat eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bear" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The dog visits the rabbit.
Unknown
random
[@0: The dog visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "rabbit" "+")
@0: The bear does not need the cat.[(triple1)] The cat is kind.[(triple2)] The dog visits the bear.[(triple3)] The rabbit visits the cat.[(triple4)] @1: The bear visits the dog.[(((triple3) -> rule5))] The cat eats the cat.[(((triple2) -> rule8))] @2: The cat eats the rabbit.[(((((triple2) -> rule8)) -> rule6))] @3: The cat is red.[(((((((triple2) -> rule8)) -> rule6)) -> rule1))]
The bear does not need the cat.
("bear" "needs" "cat" "-")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The dog visits the bear.
("dog" "visits" "bear" "+")
triple3
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple4
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple3) -> (rule5 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple2) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is red.
("cat" "is" "red" "+")
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3