「なにがしかのものは記者団でないけれど野宿する」ということは成り立つということはない
fact1: あの単位ベクトルは適用しない fact2: 通過点は野宿しないし記者団であるということはない fact3: 仮にあのセットバックはレフであるなら通過点である fact4: あの引き分けは野宿するしさらにぴったりする fact5: 仮にあるものが野宿するとすればそれはぴったりする fact6: 「ぴったりしない」ものはある fact7: 全てのものは記者団でない fact8: もし何らかのものがレフであるかもしくは貧しくないとしたらそれはレフだ fact9: あの引き分けは政治体系である fact10: あの引き分けは重たくない一方で陰陽外伝岩戸開だ fact11: 仮にあのセットバックが通過点であるとするとあの引き分けは通過点である fact12: なにがしかのものは記者団でないけれどそれはぴったりする
fact4 -> int1: あの引き分けは野宿する; fact7 -> int2: あの引き分けは記者団であるということはない; int1 & int2 -> int3: 「あの引き分けは記者団だということはないけどそれは野宿する」ということは正しい; int3 -> hypothesis;
fact4 -> int1: {A}{a}; fact7 -> int2: ¬{C}{a}; int1 & int2 -> int3: (¬{C}{a} & {A}{a}); int3 -> hypothesis;
「この同一個体はぴったりする」ということは成り立つ
fact18 -> int4: もしも「この同一個体は野宿する」ということは真実だとしたらぴったりする; fact15 -> int5: もしもあの引き分けが通過点だとすればそれは野宿しなくてしかもそれは記者団でない; fact13 -> int6: もしもあのセットバックがレフであるか貧しくないか両方であるとすればそれはレフである; fact16 -> int7: とあるものは適用しない;
$facts$ = fact1: あの単位ベクトルは適用しない fact2: 通過点は野宿しないし記者団であるということはない fact3: 仮にあのセットバックはレフであるなら通過点である fact4: あの引き分けは野宿するしさらにぴったりする fact5: 仮にあるものが野宿するとすればそれはぴったりする fact6: 「ぴったりしない」ものはある fact7: 全てのものは記者団でない fact8: もし何らかのものがレフであるかもしくは貧しくないとしたらそれはレフだ fact9: あの引き分けは政治体系である fact10: あの引き分けは重たくない一方で陰陽外伝岩戸開だ fact11: 仮にあのセットバックが通過点であるとするとあの引き分けは通過点である fact12: なにがしかのものは記者団でないけれどそれはぴったりする ; $hypothesis$ = 「なにがしかのものは記者団でないけれど野宿する」ということは成り立つということはない ; $proof$ = 
fact4 -> int1: あの引き分けは野宿する; fact7 -> int2: あの引き分けは記者団であるということはない; int1 & int2 -> int3: 「あの引き分けは記者団だということはないけどそれは野宿する」ということは正しい; int3 -> hypothesis; __DISPROVED__
事実1: あの単位ベクトルは適用しない
事実2: 通過点は野宿しないし記者団であるということはない
事実3: 仮にあのセットバックはレフであるなら通過点である
事実4: あの引き分けは野宿するしさらにぴったりする
事実5: 仮にあるものが野宿するとすればそれはぴったりする
事実6: 「ぴったりしない」ものはある
事実7: 全てのものは記者団でない
事実8: もし何らかのものがレフであるかもしくは貧しくないとしたらそれはレフだ
事実9: あの引き分けは政治体系である
事実10: あの引き分けは重たくない一方で陰陽外伝岩戸開だ
事実11: 仮にあのセットバックが通過点であるとするとあの引き分けは通過点である
事実12: なにがしかのものは記者団でないけれどそれはぴったりする

仮説: 「なにがしかのものは記者団でないけれど野宿する」ということは成り立つということはない
1. 事実4から、推論1: "あの引き分けは野宿する"が導かれる
2. 事実7から、推論2: "あの引き分けは記者団であるということはない"が導かれる
3. 推論1と推論2から、推論3: "「あの引き分けは記者団だということはないけどそれは野宿する」ということは正しい"が導かれる
4. 推論3から、仮説が否定される

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