The bear is big. The bear is blue. The bear is nice. The bear is round. The bear is young. The bear likes the rabbit. The bear needs the rabbit. The bear sees the rabbit. The rabbit is blue. The rabbit is nice. The rabbit is round. The rabbit is not young. The rabbit likes the bear. The rabbit needs the bear. The rabbit does not see the bear. If someone is nice and they see the bear then they need the bear. If someone sees the rabbit then they need the bear. If someone sees the bear and they are not round then they do not need the rabbit. If someone needs the bear then they like the bear. If the rabbit needs the bear then the rabbit does not see the bear. If the rabbit is young and the rabbit is not big then the rabbit needs the bear.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
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 blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
If someone is nice and they see the bear then they need the bear.
((("someone" "is" "nice" "+") ("someone" "sees" "bear" "+")) -> ("someone" "needs" "bear" "+"))
If someone sees the rabbit then they need the bear.
((("someone" "sees" "rabbit" "+")) -> ("someone" "needs" "bear" "+"))
If someone sees the bear and they are not round then they do not need the rabbit.
((("someone" "sees" "bear" "+") ("someone" "is" "round" "~")) -> ("someone" "needs" "rabbit" "-"))
If someone needs the bear then they like the bear.
((("someone" "needs" "bear" "+")) -> ("someone" "likes" "bear" "+"))
If the rabbit needs the bear then the rabbit does not see the bear.
((("rabbit" "needs" "bear" "+")) -> ("rabbit" "sees" "bear" "-"))
If the rabbit is young and the rabbit is not big then the rabbit needs the bear.
((("rabbit" "is" "young" "+") ("rabbit" "is" "big" "~")) -> ("rabbit" "needs" "bear" "+"))
The rabbit is nice.
True
1
proof
[(triple10)]
("rabbit" "is" "nice" "+")
triple10
The rabbit does not like the bear.
False
1
inv-proof
[(triple13 OR ((triple14) -> rule4))]
("rabbit" "likes" "bear" "-")
triple13
((triple14) -> (rule4 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The bear needs the bear.
True
2
proof
[(((triple8) -> rule2))]
("bear" "needs" "bear" "+")
((triple8) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple8) -> rule2))]
("bear" "needs" "bear" "-")
((triple8) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear likes the bear.
True
3
proof
[(((((triple8) -> rule2)) -> rule4))]
("bear" "likes" "bear" "+")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear does not like the bear.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule4))]
("bear" "likes" "bear" "-")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "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 rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear likes the rabbit.[(triple6)] The bear needs the rabbit.[(triple7)] The bear sees the rabbit.[(triple8)] The rabbit does not see the bear.[(triple15 OR ((triple14) -> rule5))] The rabbit is blue.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is not young.[(triple12)] The rabbit is round.[(triple11)] The rabbit likes the bear.[(triple13 OR ((triple14) -> rule4))] The rabbit needs the bear.[(triple14)] @1: The bear needs the bear.[(((triple8) -> rule2))] @2: The bear likes the bear.[(((((triple8) -> rule2)) -> rule4))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple6
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple7
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple8
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
triple15
((triple14) -> (rule5 % int1))
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit is not young.
("rabbit" "is" "young" "-")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple13
((triple14) -> (rule4 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple14
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple8) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2