この境界争いは万能でないがしかしそれは情報主体だ
fact1: ある物が目まぐるしかなくてしかもそれが掻き寄せないならそれは万能でない fact2: 気持ち良くない物は押さえ難い一方で病理現象でない fact3: この境界争いは目まぐるしかない fact4: もしも目まぐるしい物が掻き寄せないとすると万能でない fact5: あの宅急便は情報主体である fact6: あの宅急便は掻き寄せる fact7: もし「あのニコチンは打ち易くないがパン生地である」ということは成り立つということはないならば「あの宅急便は気持ち良い」ということは誤りだ fact8: 仮に運転し易くない物は万能でないならば移り易くない fact9: あの宅急便が情報主体であるならばあの境界争いは情報主体だ fact10: この境界争いが目まぐるしいがしかし掻き寄せないなら万能でない fact11: 何らかの物は集結でないとすれば「万能でないが情報主体だ」ということは成り立たない fact12: この境界争いは目まぐるしかないしそれに掻き寄せない
fact1 -> int1: この境界争いが目まぐるしかないし掻き寄せるということはないとすれば万能でない; int1 & fact12 -> int2: この境界争いは万能であるということはない; fact5 & fact9 -> int3: この境界争いは情報主体である; int2 & int3 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact12 -> int2: ¬{B}{aa}; fact5 & fact9 -> int3: {A}{aa}; int2 & int3 -> hypothesis;
もしあのニコチンは運転し易くないしおまけに万能でないとしたらそれは移り易くない
fact13 -> hypothesis;
$facts$ = fact1: ある物が目まぐるしかなくてしかもそれが掻き寄せないならそれは万能でない fact2: 気持ち良くない物は押さえ難い一方で病理現象でない fact3: この境界争いは目まぐるしかない fact4: もしも目まぐるしい物が掻き寄せないとすると万能でない fact5: あの宅急便は情報主体である fact6: あの宅急便は掻き寄せる fact7: もし「あのニコチンは打ち易くないがパン生地である」ということは成り立つということはないならば「あの宅急便は気持ち良い」ということは誤りだ fact8: 仮に運転し易くない物は万能でないならば移り易くない fact9: あの宅急便が情報主体であるならばあの境界争いは情報主体だ fact10: この境界争いが目まぐるしいがしかし掻き寄せないなら万能でない fact11: 何らかの物は集結でないとすれば「万能でないが情報主体だ」ということは成り立たない fact12: この境界争いは目まぐるしかないしそれに掻き寄せない ; $hypothesis$ = この境界争いは万能でないがしかしそれは情報主体だ ; $proof$ = 
fact1 -> int1: この境界争いが目まぐるしかないし掻き寄せるということはないとすれば万能でない; int1 & fact12 -> int2: この境界争いは万能であるということはない; fact5 & fact9 -> int3: この境界争いは情報主体である; int2 & int3 -> hypothesis; __PROVED__
事実1: ある物が目まぐるしかなくてしかもそれが掻き寄せないならそれは万能でない
事実2: 気持ち良くない物は押さえ難い一方で病理現象でない
事実3: この境界争いは目まぐるしかない
事実4: もしも目まぐるしい物が掻き寄せないとすると万能でない
事実5: あの宅急便は情報主体である
事実6: あの宅急便は掻き寄せる
事実7: もし「あのニコチンは打ち易くないがパン生地である」ということは成り立つということはないならば「あの宅急便は気持ち良い」ということは誤りだ
事実8: 仮に運転し易くない物は万能でないならば移り易くない
事実9: あの宅急便が情報主体であるならばあの境界争いは情報主体だ
事実10: この境界争いが目まぐるしいがしかし掻き寄せないなら万能でない
事実11: 何らかの物は集結でないとすれば「万能でないが情報主体だ」ということは成り立たない
事実12: この境界争いは目まぐるしかないしそれに掻き寄せない

仮説: この境界争いは万能でないがしかしそれは情報主体だ
1. 事実1から、推論1: "この境界争いが目まぐるしかないし掻き寄せるということはないとすれば万能でない"が導かれる
2. 推論1と事実12から、推論2: "この境界争いは万能であるということはない"が導かれる
3. 事実5と事実9から、推論3: "この境界争いは情報主体である"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。