「あのプルトニウムは御感じに成らない」ということは成り立つ
fact1: 仮にこの一間受けは印刷するとしたら「仕官するがちっこくない」ということは事実と異なる fact2: もし仮に「この一間受けは仕官するけれどちっこくない」ということは偽だとしたらあのプルトニウムは脂っぽくない fact3: 「この賛美歌は防備するということはない」ということは本当である fact4: 仮にこの身包みは脂っぽくないなら「この退行変性はちっこいし御感じに成る」ということは事実と異なる fact5: もし「「近付き難くておまけに転調する」ということは成り立つ」ものがあるとしたらあのプルトニウムは物欲しかない fact6: 「この一間受けは近付き難い」ということは真実だとしたら印刷する fact7: あの貯蔵槽は仕官する fact8: この一間受けは転調する fact9: もしもなんらかのものは防備しないならば「この身包みは脂っぽいということはない」ということは成り立つ fact10: もし仮に「「ちっこいしさらに御感じに成る」ということは嘘である」物があるとするとこのブロードバンド回線はちっこくない fact11: 「この一間受けは仕官するしちっこい」ということは間違いである fact12: もしあのプルトニウムが脂っぽくないとしたらそれは御感じに成らない fact13: もしもこの一間受けが物欲しいとすればそれは近付き難い fact14: 仮にこのブロードバンド回線が仕官するとしたらその四段構成は印刷する fact15: この一間受けは物欲しくてかつ転調する fact16: もし仮に何らかのものがちっこくないとすると仕官する fact17: もしこの一間受けは印刷するとすると「仕官するししかもそれはちっこい」ということは成り立つということはない
fact15 -> int1: この一間受けは物欲しい; int1 & fact13 -> int2: 「この一間受けは近付き難い」ということは正しい; int2 & fact6 -> int3: この一間受けは印刷する; int3 & fact1 -> int4: 「この一間受けは仕官するけれどそれはちっこくない」ということは成り立たない; int4 & fact2 -> int5: あのプルトニウムは脂っぽくない; int5 & fact12 -> hypothesis;
あのプルトニウムは物欲しかない
fact21 -> int6: もし仮にこのブロードバンド回線がちっこくないとすればそれは仕官する; fact22 -> int7: なんらかの物は防備するということはない; int7 & fact18 -> int8: 「この身包みは脂っぽくない」ということは成り立つ; fact20 & int8 -> int9: 「この退行変性がちっこいしその上それは御感じに成る」ということは間違いだ; int9 -> int10: 「「ちっこいしそれに御感じに成る」ということは誤りな」物はある; int10 & fact19 -> int11: このブロードバンド回線はちっこくない; int6 & int11 -> int12: このブロードバンド回線は仕官する; fact23 & int12 -> int13: その四段構成は印刷する; int13 -> int14: 何かは印刷する;
$facts$ = fact1: 仮にこの一間受けは印刷するとしたら「仕官するがちっこくない」ということは事実と異なる fact2: もし仮に「この一間受けは仕官するけれどちっこくない」ということは偽だとしたらあのプルトニウムは脂っぽくない fact3: 「この賛美歌は防備するということはない」ということは本当である fact4: 仮にこの身包みは脂っぽくないなら「この退行変性はちっこいし御感じに成る」ということは事実と異なる fact5: もし「「近付き難くておまけに転調する」ということは成り立つ」ものがあるとしたらあのプルトニウムは物欲しかない fact6: 「この一間受けは近付き難い」ということは真実だとしたら印刷する fact7: あの貯蔵槽は仕官する fact8: この一間受けは転調する fact9: もしもなんらかのものは防備しないならば「この身包みは脂っぽいということはない」ということは成り立つ fact10: もし仮に「「ちっこいしさらに御感じに成る」ということは嘘である」物があるとするとこのブロードバンド回線はちっこくない fact11: 「この一間受けは仕官するしちっこい」ということは間違いである fact12: もしあのプルトニウムが脂っぽくないとしたらそれは御感じに成らない fact13: もしもこの一間受けが物欲しいとすればそれは近付き難い fact14: 仮にこのブロードバンド回線が仕官するとしたらその四段構成は印刷する fact15: この一間受けは物欲しくてかつ転調する fact16: もし仮に何らかのものがちっこくないとすると仕官する fact17: もしこの一間受けは印刷するとすると「仕官するししかもそれはちっこい」ということは成り立つということはない ; $hypothesis$ = 「あのプルトニウムは御感じに成らない」ということは成り立つ ; $proof$ = 
fact15 -> int1: この一間受けは物欲しい; int1 & fact13 -> int2: 「この一間受けは近付き難い」ということは正しい; int2 & fact6 -> int3: この一間受けは印刷する; int3 & fact1 -> int4: 「この一間受けは仕官するけれどそれはちっこくない」ということは成り立たない; int4 & fact2 -> int5: あのプルトニウムは脂っぽくない; int5 & fact12 -> hypothesis; __PROVED__
事実1: 仮にこの一間受けは印刷するとしたら「仕官するがちっこくない」ということは事実と異なる
事実2: もし仮に「この一間受けは仕官するけれどちっこくない」ということは偽だとしたらあのプルトニウムは脂っぽくない
事実3: 「この賛美歌は防備するということはない」ということは本当である
事実4: 仮にこの身包みは脂っぽくないなら「この退行変性はちっこいし御感じに成る」ということは事実と異なる
事実5: もし「「近付き難くておまけに転調する」ということは成り立つ」ものがあるとしたらあのプルトニウムは物欲しかない
事実6: 「この一間受けは近付き難い」ということは真実だとしたら印刷する
事実7: あの貯蔵槽は仕官する
事実8: この一間受けは転調する
事実9: もしもなんらかのものは防備しないならば「この身包みは脂っぽいということはない」ということは成り立つ
事実10: もし仮に「「ちっこいしさらに御感じに成る」ということは嘘である」物があるとするとこのブロードバンド回線はちっこくない
事実11: 「この一間受けは仕官するしちっこい」ということは間違いである
事実12: もしあのプルトニウムが脂っぽくないとしたらそれは御感じに成らない
事実13: もしもこの一間受けが物欲しいとすればそれは近付き難い
事実14: 仮にこのブロードバンド回線が仕官するとしたらその四段構成は印刷する
事実15: この一間受けは物欲しくてかつ転調する
事実16: もし仮に何らかのものがちっこくないとすると仕官する
事実17: もしこの一間受けは印刷するとすると「仕官するししかもそれはちっこい」ということは成り立つということはない

仮説: 「あのプルトニウムは御感じに成らない」ということは成り立つ
1. 事実15から、推論1: "この一間受けは物欲しい"が導かれる
2. 推論1と事実13から、推論2: "「この一間受けは近付き難い」ということは正しい"が導かれる
3. 推論2と事実6から、推論3: "この一間受けは印刷する"が導かれる
4. 推論3と事実1から、推論4: "「この一間受けは仕官するけれどそれはちっこくない」ということは成り立たない"が導かれる
5. 推論4と事実2から、推論5: "あのプルトニウムは脂っぽくない"が導かれる
6. 推論5と事実12から、仮説が導かれる

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