The bear is big. The bear is kind. The bear is nice. The bear is young. The bear likes the rabbit. The bear needs the rabbit. The bear sees the rabbit. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit is young. The rabbit likes the bear. The rabbit needs the bear. The rabbit sees the bear. If something needs the bear and it is rough then the bear needs the rabbit. If something needs the rabbit then it likes the bear.
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If something needs the bear and it is rough then the bear needs the rabbit.
((("something" "needs" "bear" "+") ("something" "is" "rough" "+")) -> ("bear" "needs" "rabbit" "+"))
If something needs the rabbit then it likes the bear.
((("something" "needs" "rabbit" "+")) -> ("something" "likes" "bear" "+"))
The rabbit needs the bear.
True
1
proof
[(triple14)]
("rabbit" "needs" "bear" "+")
triple14
The rabbit is not kind.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "kind" "-")
triple9
The bear likes the bear.
True
2
proof
[(((triple6) -> rule2) OR ((((triple14 triple11) -> rule1)) -> rule2))]
("bear" "likes" "bear" "+")
((triple6) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple14 triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear does not like the bear.
False
2
inv-proof
[(((triple6) -> rule2) OR ((((triple14 triple11) -> rule1)) -> rule2))]
("bear" "likes" "bear" "-")
((triple6) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple14 triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is young.[(triple4)] The bear likes the rabbit.[(triple5)] The bear needs the rabbit.[(triple6 OR ((triple14 triple11) -> rule1))] The bear sees the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is rough.[(triple11)] The rabbit is young.[(triple12)] The rabbit likes the bear.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit sees the bear.[(triple15)] @1: The bear likes the bear.[(((triple6) -> rule2) OR ((((triple14 triple11) -> rule1)) -> rule2))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple6
((triple14 triple11) -> (rule1 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit is young.
("rabbit" "is" "young" "+")
triple12
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple13
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple14
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple15
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple6) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple14 triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2