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