この名士達は陳腐化する
fact1: あのＡＷＢ情報は昼寝する fact2: もしも「この名士達は一ラインでないかもしくは位置しないかあるいは両方だ」ということは誤っているなら子供らしくない fact3: 「あのＡＷＢ情報は老耄でないが位置する」ということは間違いだとすればこの名士達は位置しない fact4: 付属形式は繊細過ぎる fact5: 「あの髷は子供らしいということはないがしかし降り積もる」ということは成り立たない fact6: もしあのＡＷＢ情報が一ラインでないとすればこの名士達は位置する fact7: あのＡＷＢ情報は繊細過ぎないし更に付属形式でない fact8: 仮にあのＡＷＢ情報は昼寝するとすると「繊細過ぎないしさらに一ラインだ」ということは成り立つということはない fact9: 仮にこの名士達が位置しないとすれば一ラインであるか子供らしい fact10: もし仮に「「この名士達は一ラインでないかまたはそれは繊細過ぎないかあるいは両方である」ということは成り立つ」ということは成り立たないなら子供らしくない fact11: この名士達は位置する fact12: あるものが繊細過ぎるならそれは陳腐化する fact13: あのＡＷＢ情報は付属形式だということはない fact14: あのＡＷＢ情報は一ラインでないならば「この名士達は一ラインでないかあるいは位置しないかどちらもだ」ということは嘘である fact15: もしこの名士達が子供らしいということはないならそれは陳腐化しない fact16: あの貨幣は昼寝する fact17: あのＡＷＢ情報は吸い寄せない fact18: もし仮に「この名士達は一ラインであるということはないかもしくは位置するかあるいは両方ともだ」ということは事実でないとすると子供らしくない
fact7 -> int1: あのＡＷＢ情報は繊細過ぎない; void -> assump1: 以下のように仮定する。あのＡＷＢ情報は一ラインだ; int1 & assump1 -> int2: あのＡＷＢ情報は繊細過ぎないが一ラインである; fact1 & fact8 -> int3: 「あのＡＷＢ情報は繊細過ぎるということはないがしかし一ラインである」ということは嘘だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＡＷＢ情報は一ラインでない; int5 & fact14 -> int6: 「この名士達は一ラインでないかあるいは位置しないかまたは両方ともだ」ということは誤りだ; int6 & fact2 -> int7: この名士達は子供らしいということはない; int7 & fact15 -> hypothesis;
この名士達は陳腐化する
fact19 -> int8: もし仮にこの名士達が繊細過ぎるとすればそれは陳腐化する; fact20 -> int9: もしこの名士達は付属形式であるとすると「それは繊細過ぎる」ということは正しい;
$facts$ = fact1: あのＡＷＢ情報は昼寝する fact2: もしも「この名士達は一ラインでないかもしくは位置しないかあるいは両方だ」ということは誤っているなら子供らしくない fact3: 「あのＡＷＢ情報は老耄でないが位置する」ということは間違いだとすればこの名士達は位置しない fact4: 付属形式は繊細過ぎる fact5: 「あの髷は子供らしいということはないがしかし降り積もる」ということは成り立たない fact6: もしあのＡＷＢ情報が一ラインでないとすればこの名士達は位置する fact7: あのＡＷＢ情報は繊細過ぎないし更に付属形式でない fact8: 仮にあのＡＷＢ情報は昼寝するとすると「繊細過ぎないしさらに一ラインだ」ということは成り立つということはない fact9: 仮にこの名士達が位置しないとすれば一ラインであるか子供らしい fact10: もし仮に「「この名士達は一ラインでないかまたはそれは繊細過ぎないかあるいは両方である」ということは成り立つ」ということは成り立たないなら子供らしくない fact11: この名士達は位置する fact12: あるものが繊細過ぎるならそれは陳腐化する fact13: あのＡＷＢ情報は付属形式だということはない fact14: あのＡＷＢ情報は一ラインでないならば「この名士達は一ラインでないかあるいは位置しないかどちらもだ」ということは嘘である fact15: もしこの名士達が子供らしいということはないならそれは陳腐化しない fact16: あの貨幣は昼寝する fact17: あのＡＷＢ情報は吸い寄せない fact18: もし仮に「この名士達は一ラインであるということはないかもしくは位置するかあるいは両方ともだ」ということは事実でないとすると子供らしくない ; $hypothesis$ = この名士達は陳腐化する ; $proof$ = 
fact7 -> int1: あのＡＷＢ情報は繊細過ぎない; void -> assump1: 以下のように仮定する。あのＡＷＢ情報は一ラインだ; int1 & assump1 -> int2: あのＡＷＢ情報は繊細過ぎないが一ラインである; fact1 & fact8 -> int3: 「あのＡＷＢ情報は繊細過ぎるということはないがしかし一ラインである」ということは嘘だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＡＷＢ情報は一ラインでない; int5 & fact14 -> int6: 「この名士達は一ラインでないかあるいは位置しないかまたは両方ともだ」ということは誤りだ; int6 & fact2 -> int7: この名士達は子供らしいということはない; int7 & fact15 -> hypothesis; __DISPROVED__
事実1: あのＡＷＢ情報は昼寝する
事実2: もしも「この名士達は一ラインでないかもしくは位置しないかあるいは両方だ」ということは誤っているなら子供らしくない
事実3: 「あのＡＷＢ情報は老耄でないが位置する」ということは間違いだとすればこの名士達は位置しない
事実4: 付属形式は繊細過ぎる
事実5: 「あの髷は子供らしいということはないがしかし降り積もる」ということは成り立たない
事実6: もしあのＡＷＢ情報が一ラインでないとすればこの名士達は位置する
事実7: あのＡＷＢ情報は繊細過ぎないし更に付属形式でない
事実8: 仮にあのＡＷＢ情報は昼寝するとすると「繊細過ぎないしさらに一ラインだ」ということは成り立つということはない
事実9: 仮にこの名士達が位置しないとすれば一ラインであるか子供らしい
事実10: もし仮に「「この名士達は一ラインでないかまたはそれは繊細過ぎないかあるいは両方である」ということは成り立つ」ということは成り立たないなら子供らしくない
事実11: この名士達は位置する
事実12: あるものが繊細過ぎるならそれは陳腐化する
事実13: あのＡＷＢ情報は付属形式だということはない
事実14: あのＡＷＢ情報は一ラインでないならば「この名士達は一ラインでないかあるいは位置しないかどちらもだ」ということは嘘である
事実15: もしこの名士達が子供らしいということはないならそれは陳腐化しない
事実16: あの貨幣は昼寝する
事実17: あのＡＷＢ情報は吸い寄せない
事実18: もし仮に「この名士達は一ラインであるということはないかもしくは位置するかあるいは両方ともだ」ということは事実でないとすると子供らしくない

仮説: この名士達は陳腐化する
1. 事実7から、推論1: "あのＡＷＢ情報は繊細過ぎない"が導かれる
2. 仮定1: 以下のように仮定する。あのＡＷＢ情報は一ラインだ
3. 推論1と仮定1から、推論2: "あのＡＷＢ情報は繊細過ぎないが一ラインである"が導かれる
4. 事実1と事実8から、推論3: "「あのＡＷＢ情報は繊細過ぎるということはないがしかし一ラインである」ということは嘘だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのＡＷＢ情報は一ラインでない"が導かれる
7. 推論5と事実14から、推論6: "「この名士達は一ラインでないかあるいは位置しないかまたは両方ともだ」ということは誤りだ"が導かれる
8. 推論6と事実2から、推論7: "この名士達は子供らしいということはない"が導かれる
9. 推論7と事実15から、仮説が否定される

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