The bear eats the cat. The cat is kind. The cat needs the bear. The mouse is big. The mouse is blue. The mouse is kind. The mouse is round. The mouse needs the bear. The mouse needs the rabbit. The rabbit is kind. If someone is round then they eat the bear.
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If someone is round then they eat the bear.
((("someone" "is" "round" "+")) -> ("someone" "eats" "bear" "+"))
The mouse needs the rabbit.
True
1
proof
[(triple9)]
("mouse" "needs" "rabbit" "+")
triple9
The mouse is not blue.
False
1
inv-proof
[(triple5)]
("mouse" "is" "blue" "-")
triple5
The rabbit does not eat the bear.
Unknown
inv-rconc
[@1: The rabbit eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "bear" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The bear eats the cat.[(triple1)] The cat is kind.[(triple2)] The cat needs the bear.[(triple3)] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The mouse is kind.[(triple6)] The mouse is round.[(triple7)] The mouse needs the bear.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit is kind.[(triple10)] @1: The mouse eats the bear.[(((triple7) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat needs the bear.
("cat" "needs" "bear" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple8
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The mouse eats the bear.
("mouse" "eats" "bear" "+")
((triple7) -> (rule1 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1