The bear does not chase the cat. The bear is not red. The cat does not eat the bear. The cat eats the rabbit. The cat visits the rabbit. The rabbit does not chase the cat. The rabbit visits the bear. If something chases the bear then it chases the cat. If something visits the rabbit then the rabbit eats the bear. If the rabbit visits the cat and the rabbit is big then the cat does not visit the bear. If the rabbit eats the cat and the cat visits the bear then the cat is kind. If something visits the rabbit and it is nice then the rabbit visits the bear. If the bear is not nice and the bear does not visit the cat then the cat visits the rabbit.
The bear does not chase the cat.
("bear" "chases" "cat" "-")
The bear is not red.
("bear" "is" "red" "-")
The cat does not eat the bear.
("cat" "eats" "bear" "-")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something chases the bear then it chases the cat.
((("something" "chases" "bear" "+")) -> ("something" "chases" "cat" "+"))
If something visits the rabbit then the rabbit eats the bear.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "eats" "bear" "+"))
If the rabbit visits the cat and the rabbit is big then the cat does not visit the bear.
((("rabbit" "visits" "cat" "+") ("rabbit" "is" "big" "+")) -> ("cat" "visits" "bear" "-"))
If the rabbit eats the cat and the cat visits the bear then the cat is kind.
((("rabbit" "eats" "cat" "+") ("cat" "visits" "bear" "+")) -> ("cat" "is" "kind" "+"))
If something visits the rabbit and it is nice then the rabbit visits the bear.
((("something" "visits" "rabbit" "+") ("something" "is" "nice" "+")) -> ("rabbit" "visits" "bear" "+"))
If the bear is not nice and the bear does not visit the cat then the cat visits the rabbit.
((("bear" "is" "nice" "~") ("bear" "visits" "cat" "~")) -> ("cat" "visits" "rabbit" "+"))
The cat visits the rabbit.
True
1
proof
[(triple5)]
("cat" "visits" "rabbit" "+")
triple5
The bear is red.
False
1
inv-proof
[(triple2)]
("bear" "is" "red" "+")
triple2
The rabbit eats the bear.
True
2
proof
[(((triple5) -> rule2))]
("rabbit" "eats" "bear" "+")
((triple5) -> (rule2 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit does not eat the bear.
False
2
inv-proof
[(((triple5) -> rule2))]
("rabbit" "eats" "bear" "-")
((triple5) -> (rule2 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "cat" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "kind" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The bear does not chase the cat.[(triple1)] The bear is not red.[(triple2)] The cat does not eat the bear.[(triple3)] The cat eats the rabbit.[(triple4)] The cat visits the rabbit.[(triple5)] The rabbit does not chase the cat.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The rabbit eats the bear.[(((triple5) -> rule2))]
The bear does not chase the cat.
("bear" "chases" "cat" "-")
triple1
The bear is not red.
("bear" "is" "red" "-")
triple2
The cat does not eat the bear.
("cat" "eats" "bear" "-")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
triple6
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple7
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
((triple5) -> (rule2 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1