その循環系は話し辛い
fact1: 「補い合わない」ものはある fact2: 「この寮生達は歩き難くない」ということは事実だとするとその循環系は話し辛い fact3: もしもこの三号戦車がしぶといということはないならこの寮生達は合い過ぎない fact4: もしある物は合い過ぎるということはないなら「この寮生達は話し辛くてそれは強引過ぎる」ということは成り立たない fact5: もし仮にあの御下が補い合わないとしたらこの寮生達は補佐するしどす黒い fact6: あの百ドル札はファクター毎だ fact7: 仮にあの百ドル札が世界管理であるしそれに強引過ぎればその三号戦車はしぶとくない fact8: 仮に「バッフルでない」物はあるとしたら「あの御下は補佐しない一方で補い合う」ということは確かだということはない fact9: もしも「あの御下は補佐しないがそれは補い合う」ということは間違いであるとするとあの百ドル札は世界管理だ fact10: 仮に「あの御下は補い合うししぶとい」ということは成り立たないなら補い合うということはない fact11: もし「なにがしかの物はバッフルであるけど補佐しない」ということは本当でないならばそれは話し辛くない fact12: もし仮にあの百ドル札が合い過ぎるし加えて話し辛いならばこの寮生達は世界管理でない fact13: もしあの百ドル札が合い過ぎないとすればこの寮生達は世界管理で強引過ぎる fact14: もし仮にあの御下が補い合わないとすればあの百ドル札は世界管理である fact15: 「バッフルでない」物はある fact16: 「バッフルな」ものはある fact17: もし仮にあの御下が歩き難くないとすればあの寮生達は補佐する fact18: あの御下は世界管理でない fact19: もし仮に「補い合わない」ものはあれば「あの百ドル札は補佐しない一方でファクター毎だ」ということは成り立たない fact20: 「この寮生達は間違い無いということはない物でバッフルである」ということは事実でないとしたら間違い無い fact21: あの御下は補い合うしさらにそれはしぶとい fact22: もし仮に何らかのものが合い過ぎないなら歩き難くない fact23: あの百ドル札は強引過ぎるしおまけにファクター毎だ fact24: バッフルは合い過ぎる fact25: もしなにがしかの物は世界管理だとすると「それは間違い無くないけれどバッフルだ」ということは偽である
fact15 & fact8 -> int1: 「あの御下は補佐しないがそれは補い合う」ということは成り立たない; int1 & fact9 -> int2: あの百ドル札は世界管理だ; fact23 -> int3: あの百ドル札は強引過ぎる; int2 & int3 -> int4: あの百ドル札は世界管理であるし強引過ぎる; int4 & fact7 -> int5: 「この三号戦車はしぶとくない」ということは成り立つ; int5 & fact3 -> int6: 「この寮生達は合い過ぎない」ということは成り立つ; fact22 -> int7: もしもこの寮生達は合い過ぎるということはないとしたら「歩き難い」ということは成り立たない; int6 & int7 -> int8: この寮生達は歩き難くない; int8 & fact2 -> hypothesis;
この寮生達はどす黒いし間違い無い
fact28 -> int9: この寮生達は世界管理であるとしたら「間違い無くなくてそれはバッフルである」ということは成り立たない;
$facts$ = fact1: 「補い合わない」ものはある fact2: 「この寮生達は歩き難くない」ということは事実だとするとその循環系は話し辛い fact3: もしもこの三号戦車がしぶといということはないならこの寮生達は合い過ぎない fact4: もしある物は合い過ぎるということはないなら「この寮生達は話し辛くてそれは強引過ぎる」ということは成り立たない fact5: もし仮にあの御下が補い合わないとしたらこの寮生達は補佐するしどす黒い fact6: あの百ドル札はファクター毎だ fact7: 仮にあの百ドル札が世界管理であるしそれに強引過ぎればその三号戦車はしぶとくない fact8: 仮に「バッフルでない」物はあるとしたら「あの御下は補佐しない一方で補い合う」ということは確かだということはない fact9: もしも「あの御下は補佐しないがそれは補い合う」ということは間違いであるとするとあの百ドル札は世界管理だ fact10: 仮に「あの御下は補い合うししぶとい」ということは成り立たないなら補い合うということはない fact11: もし「なにがしかの物はバッフルであるけど補佐しない」ということは本当でないならばそれは話し辛くない fact12: もし仮にあの百ドル札が合い過ぎるし加えて話し辛いならばこの寮生達は世界管理でない fact13: もしあの百ドル札が合い過ぎないとすればこの寮生達は世界管理で強引過ぎる fact14: もし仮にあの御下が補い合わないとすればあの百ドル札は世界管理である fact15: 「バッフルでない」物はある fact16: 「バッフルな」ものはある fact17: もし仮にあの御下が歩き難くないとすればあの寮生達は補佐する fact18: あの御下は世界管理でない fact19: もし仮に「補い合わない」ものはあれば「あの百ドル札は補佐しない一方でファクター毎だ」ということは成り立たない fact20: 「この寮生達は間違い無いということはない物でバッフルである」ということは事実でないとしたら間違い無い fact21: あの御下は補い合うしさらにそれはしぶとい fact22: もし仮に何らかのものが合い過ぎないなら歩き難くない fact23: あの百ドル札は強引過ぎるしおまけにファクター毎だ fact24: バッフルは合い過ぎる fact25: もしなにがしかの物は世界管理だとすると「それは間違い無くないけれどバッフルだ」ということは偽である ; $hypothesis$ = その循環系は話し辛い ; $proof$ = 
fact15 & fact8 -> int1: 「あの御下は補佐しないがそれは補い合う」ということは成り立たない; int1 & fact9 -> int2: あの百ドル札は世界管理だ; fact23 -> int3: あの百ドル札は強引過ぎる; int2 & int3 -> int4: あの百ドル札は世界管理であるし強引過ぎる; int4 & fact7 -> int5: 「この三号戦車はしぶとくない」ということは成り立つ; int5 & fact3 -> int6: 「この寮生達は合い過ぎない」ということは成り立つ; fact22 -> int7: もしもこの寮生達は合い過ぎるということはないとしたら「歩き難い」ということは成り立たない; int6 & int7 -> int8: この寮生達は歩き難くない; int8 & fact2 -> hypothesis; __PROVED__
事実1: 「補い合わない」ものはある
事実2: 「この寮生達は歩き難くない」ということは事実だとするとその循環系は話し辛い
事実3: もしもこの三号戦車がしぶといということはないならこの寮生達は合い過ぎない
事実4: もしある物は合い過ぎるということはないなら「この寮生達は話し辛くてそれは強引過ぎる」ということは成り立たない
事実5: もし仮にあの御下が補い合わないとしたらこの寮生達は補佐するしどす黒い
事実6: あの百ドル札はファクター毎だ
事実7: 仮にあの百ドル札が世界管理であるしそれに強引過ぎればその三号戦車はしぶとくない
事実8: 仮に「バッフルでない」物はあるとしたら「あの御下は補佐しない一方で補い合う」ということは確かだということはない
事実9: もしも「あの御下は補佐しないがそれは補い合う」ということは間違いであるとするとあの百ドル札は世界管理だ
事実10: 仮に「あの御下は補い合うししぶとい」ということは成り立たないなら補い合うということはない
事実11: もし「なにがしかの物はバッフルであるけど補佐しない」ということは本当でないならばそれは話し辛くない
事実12: もし仮にあの百ドル札が合い過ぎるし加えて話し辛いならばこの寮生達は世界管理でない
事実13: もしあの百ドル札が合い過ぎないとすればこの寮生達は世界管理で強引過ぎる
事実14: もし仮にあの御下が補い合わないとすればあの百ドル札は世界管理である
事実15: 「バッフルでない」物はある
事実16: 「バッフルな」ものはある
事実17: もし仮にあの御下が歩き難くないとすればあの寮生達は補佐する
事実18: あの御下は世界管理でない
事実19: もし仮に「補い合わない」ものはあれば「あの百ドル札は補佐しない一方でファクター毎だ」ということは成り立たない
事実20: 「この寮生達は間違い無いということはない物でバッフルである」ということは事実でないとしたら間違い無い
事実21: あの御下は補い合うしさらにそれはしぶとい
事実22: もし仮に何らかのものが合い過ぎないなら歩き難くない
事実23: あの百ドル札は強引過ぎるしおまけにファクター毎だ
事実24: バッフルは合い過ぎる
事実25: もしなにがしかの物は世界管理だとすると「それは間違い無くないけれどバッフルだ」ということは偽である

仮説: その循環系は話し辛い
1. 事実15と事実8から、推論1: "「あの御下は補佐しないがそれは補い合う」ということは成り立たない"が導かれる
2. 推論1と事実9から、推論2: "あの百ドル札は世界管理だ"が導かれる
3. 事実23から、推論3: "あの百ドル札は強引過ぎる"が導かれる
4. 推論2と推論3から、推論4: "あの百ドル札は世界管理であるし強引過ぎる"が導かれる
5. 推論4と事実7から、推論5: "「この三号戦車はしぶとくない」ということは成り立つ"が導かれる
6. 推論5と事実3から、推論6: "「この寮生達は合い過ぎない」ということは成り立つ"が導かれる
7. 事実22から、推論7: "もしもこの寮生達は合い過ぎるということはないとしたら「歩き難い」ということは成り立たない"が導かれる
8. 推論6と推論7から、推論8: "この寮生達は歩き難くない"が導かれる
9. 推論8と事実2から、仮説が導かれる

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