The bear eats the rabbit. The bear is big. The bear likes the rabbit. The bear sees the rabbit. The rabbit eats the bear. The rabbit is not blue. The rabbit is cold. The rabbit is young. The rabbit likes the bear. The rabbit sees the bear. If the bear does not like the rabbit then the bear does not eat the rabbit. If someone eats the rabbit then they eat the bear.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If the bear does not like the rabbit then the bear does not eat the rabbit.
((("bear" "likes" "rabbit" "~")) -> ("bear" "eats" "rabbit" "-"))
If someone eats the rabbit then they eat the bear.
((("someone" "eats" "rabbit" "+")) -> ("someone" "eats" "bear" "+"))
The rabbit likes the bear.
True
1
proof
[(triple9)]
("rabbit" "likes" "bear" "+")
triple9
The rabbit does not like the bear.
False
1
inv-proof
[(triple9)]
("rabbit" "likes" "bear" "-")
triple9
The bear eats the bear.
True
2
proof
[(((triple1) -> rule2))]
("bear" "eats" "bear" "+")
((triple1) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "eats" "bear" "-")
((triple1) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is big.[(triple2)] The bear likes the rabbit.[(triple3)] The bear sees the rabbit.[(triple4)] The rabbit eats the bear.[(triple5)] The rabbit is cold.[(triple7)] The rabbit is not blue.[(triple6)] The rabbit is young.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The bear eats the bear.[(((triple1) -> rule2))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple5
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple1) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1