「この第十五項はキープ出来る」ということは真実だ
fact1: この第十五項は厚ぼったくない fact2: この加盟はとろ臭いしナングラムである fact3: あの卸売り金額占有率はキープ出来るということはない fact4: 「この部外秘は例外無くない」ということは成り立つとするとこの第十五項はキープ出来ないししかもそれは過不足無くない fact5: もし仮にこの第十五項が厚ぼったいならばこの上限額はキープ出来ない fact6: 仮にこの部外秘がキープ出来ないとすればあの第十五項は過不足無くない fact7: もしもこの部外秘がキープ出来ないとしたらこの第十五項はナングラムであるということはないしさらに過不足無くない fact8: この第十五項は同乗しない fact9: 仮にこの部外秘がナングラムでないとしたらこの第十五項は例外無くない fact10: もしこの部外秘がキープ出来ないならばこの第十五項は例外無いということはない fact11: この上限額はナングラムでない fact12: もし仮にこの上限額が例外無いとしたらこの部外秘は例外無くなくてかつそれはナングラムでない fact13: 仮にこの部外秘がキープ出来るならばあの第十五項はナングラムだということはない fact14: この第十五項は接続する fact15: この部外秘は過不足無い fact16: もし仮にこの部外秘が過不足無いならこの第十五項は過不足無くないしその上ナングラムでない fact17: この上限額は厚ぼったくてキープ出来る fact18: この煉瓦街建設は例外無い fact19: この上限額はキープ出来るしシリアル化する fact20: あのパッケージ化はナングラムだということはない fact21: 「この第十五項は例外無くない」ということは真実である fact22: この上限額は例外無いし厚ぼったい fact23: この部外秘は画伯でない
fact22 -> int1: この上限額は例外無い; int1 & fact12 -> int2: この部外秘は例外無くなくてまたそれはナングラムでない; int2 -> int3: この部外秘は例外無くない; int3 & fact4 -> int4: この第十五項はキープ出来ないし過不足無くない; int4 -> hypothesis;
$facts$ = fact1: この第十五項は厚ぼったくない fact2: この加盟はとろ臭いしナングラムである fact3: あの卸売り金額占有率はキープ出来るということはない fact4: 「この部外秘は例外無くない」ということは成り立つとするとこの第十五項はキープ出来ないししかもそれは過不足無くない fact5: もし仮にこの第十五項が厚ぼったいならばこの上限額はキープ出来ない fact6: 仮にこの部外秘がキープ出来ないとすればあの第十五項は過不足無くない fact7: もしもこの部外秘がキープ出来ないとしたらこの第十五項はナングラムであるということはないしさらに過不足無くない fact8: この第十五項は同乗しない fact9: 仮にこの部外秘がナングラムでないとしたらこの第十五項は例外無くない fact10: もしこの部外秘がキープ出来ないならばこの第十五項は例外無いということはない fact11: この上限額はナングラムでない fact12: もし仮にこの上限額が例外無いとしたらこの部外秘は例外無くなくてかつそれはナングラムでない fact13: 仮にこの部外秘がキープ出来るならばあの第十五項はナングラムだということはない fact14: この第十五項は接続する fact15: この部外秘は過不足無い fact16: もし仮にこの部外秘が過不足無いならこの第十五項は過不足無くないしその上ナングラムでない fact17: この上限額は厚ぼったくてキープ出来る fact18: この煉瓦街建設は例外無い fact19: この上限額はキープ出来るしシリアル化する fact20: あのパッケージ化はナングラムだということはない fact21: 「この第十五項は例外無くない」ということは真実である fact22: この上限額は例外無いし厚ぼったい fact23: この部外秘は画伯でない ; $hypothesis$ = 「この第十五項はキープ出来る」ということは真実だ ; $proof$ = 
fact22 -> int1: この上限額は例外無い; int1 & fact12 -> int2: この部外秘は例外無くなくてまたそれはナングラムでない; int2 -> int3: この部外秘は例外無くない; int3 & fact4 -> int4: この第十五項はキープ出来ないし過不足無くない; int4 -> hypothesis; __DISPROVED__
事実1: この第十五項は厚ぼったくない
事実2: この加盟はとろ臭いしナングラムである
事実3: あの卸売り金額占有率はキープ出来るということはない
事実4: 「この部外秘は例外無くない」ということは成り立つとするとこの第十五項はキープ出来ないししかもそれは過不足無くない
事実5: もし仮にこの第十五項が厚ぼったいならばこの上限額はキープ出来ない
事実6: 仮にこの部外秘がキープ出来ないとすればあの第十五項は過不足無くない
事実7: もしもこの部外秘がキープ出来ないとしたらこの第十五項はナングラムであるということはないしさらに過不足無くない
事実8: この第十五項は同乗しない
事実9: 仮にこの部外秘がナングラムでないとしたらこの第十五項は例外無くない
事実10: もしこの部外秘がキープ出来ないならばこの第十五項は例外無いということはない
事実11: この上限額はナングラムでない
事実12: もし仮にこの上限額が例外無いとしたらこの部外秘は例外無くなくてかつそれはナングラムでない
事実13: 仮にこの部外秘がキープ出来るならばあの第十五項はナングラムだということはない
事実14: この第十五項は接続する
事実15: この部外秘は過不足無い
事実16: もし仮にこの部外秘が過不足無いならこの第十五項は過不足無くないしその上ナングラムでない
事実17: この上限額は厚ぼったくてキープ出来る
事実18: この煉瓦街建設は例外無い
事実19: この上限額はキープ出来るしシリアル化する
事実20: あのパッケージ化はナングラムだということはない
事実21: 「この第十五項は例外無くない」ということは真実である
事実22: この上限額は例外無いし厚ぼったい
事実23: この部外秘は画伯でない

仮説: 「この第十五項はキープ出来る」ということは真実だ
1. 事実22から、推論1: "この上限額は例外無い"が導かれる
2. 推論1と事実12から、推論2: "この部外秘は例外無くなくてまたそれはナングラムでない"が導かれる
3. 推論2から、推論3: "この部外秘は例外無くない"が導かれる
4. 推論3と事実4から、推論4: "この第十五項はキープ出来ないし過不足無くない"が導かれる
5. 推論4から、仮説が否定される

よって、仮説が否定されました。