この小袖は釣り船でない
fact1: もしあの大ピンチは準備作業でないけど釣り船ならば四時間半でない fact2: 「もし仮に「四時間半である」物はあるとすれば「あの大ピンチは夜間勤務でないしそれは一般社会でない」ということは偽だ」ということは確かである fact3: うら若くないＦＳＡＳは夜間勤務だということはない fact4: もしこの小袖が夜間勤務でないとするとあの大ピンチは一般社会であるということはない一方で四時間半だ fact5: この小袖は夜間勤務でないとしたら「あの大ピンチは一般社会でない」ということは間違っていない fact6: もしも「この小袖は準備作業でない」ということは正しいならばあの大ピンチは夜間勤務でないけれど四時間半である fact7: この小袖はＦＳＡＳだがしかし四時間半でない fact8: あの大ピンチは準備作業である fact9: この小袖は皹でない fact10: 仮に「何かは椋鳥でない」ということは本当であるならその鉄道ファンは四時間半でしかも準備作業である fact11: もしこの小袖はＦＳＡＳでないとしたら釣り船だ fact12: 仮に「この小袖はＦＳＡＳだけどうら若くない」ということは事実でないとすれば釣り船だ fact13: もし仮に「なにかは遠山家でないけれどそれはまあるい」ということは間違いだとするとそれは椋鳥でない fact14: もし仮に「あのセルフカバーは酸化し難くないかあるいはそれは愛しくないかまたは両方ともだ」ということは事実でないとするとあの兵隊達は愛しくない fact15: 「あのセルフカバーは酸化し難くないかそれは愛しくない」ということは間違っている fact16: この小袖はＦＳＡＳである fact17: もしもなにがしかのものは愛しくないとしたら「遠山家でないし更にそれはまあるい」ということは成り立たない fact18: 仮に一般社会はＦＳＡＳでないとしたら「それは四時間半でない」ということは真実である fact19: もしもあの大ピンチは一般社会でないけど四時間半なら準備作業でない fact20: もし仮にあるものが三回経口投与する一方でそれが歩き辛くないとするとそれは接客サービスでない fact21: 「あの大ピンチはうら若い一方でおっかしくない」ということは成り立たないとすると設計通りである fact22: もしもあの大ピンチはＦＳＡＳであるがうら若くないならばそれは準備作業でない fact23: もし仮にあの大ピンチが一般社会だしさらにそれは四時間半であるとしたら準備作業でない fact24: 「あの大ピンチは一般社会でない」ということは確かだ
fact3 -> int1: もしこの小袖がＦＳＡＳだけれどそれがうら若いということはないならそれは夜間勤務でない; void -> assump1: 以下のように仮定する。この小袖はＦＳＡＳである一方でそれはうら若くない; int1 & assump1 -> int2: この小袖は夜間勤務でない; int2 & fact4 -> int3: 「あの大ピンチは一般社会でないけれど四時間半である」ということは確かだ; int3 & fact19 -> int4: あの大ピンチは準備作業でない; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この小袖がＦＳＡＳだけどうら若いということはない」ということは嘘である; int6 & fact12 -> hypothesis;
この小袖は釣り船でない
fact25 -> int7: もし仮に「あの兵隊達は遠山家でないけれどまあるい」ということは確かだということはないならばそれは椋鳥であるということはない; fact29 -> int8: 「あの兵隊達は愛しくない」ということは成り立つとしたら「それは遠山家でなくてかつまあるい」ということは間違っている; fact28 & fact30 -> int9: あの兵隊達は愛しくない; int8 & int9 -> int10: 「あの兵隊達は遠山家でないけれどそれはまあるい」ということは成り立たない; int7 & int10 -> int11: あの兵隊達は椋鳥だということはない; int11 -> int12: 「椋鳥だということはない」ものはある; int12 & fact27 -> int13: その鉄道ファンは四時間半だし準備作業である; int13 -> int14: 「その鉄道ファンは四時間半である」ということは正しい; int14 -> int15: なんらかのものは四時間半である; int15 & fact26 -> int16: 「あの大ピンチは夜間勤務でないしその上一般社会でない」ということは成り立たない; int16 -> int17: 「「夜間勤務でないし更に一般社会であるということはない」ということは嘘である」ものはある;
$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: 「あの大ピンチは一般社会でない」ということは確かだ ; $hypothesis$ = この小袖は釣り船でない ; $proof$ = 
fact3 -> int1: もしこの小袖がＦＳＡＳだけれどそれがうら若いということはないならそれは夜間勤務でない; void -> assump1: 以下のように仮定する。この小袖はＦＳＡＳである一方でそれはうら若くない; int1 & assump1 -> int2: この小袖は夜間勤務でない; int2 & fact4 -> int3: 「あの大ピンチは一般社会でないけれど四時間半である」ということは確かだ; int3 & fact19 -> int4: あの大ピンチは準備作業でない; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この小袖がＦＳＡＳだけどうら若いということはない」ということは嘘である; int6 & fact12 -> 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: もし仮にあの大ピンチが一般社会だしさらにそれは四時間半であるとしたら準備作業でない
事実24: 「あの大ピンチは一般社会でない」ということは確かだ

仮説: この小袖は釣り船でない
1. 事実3から、推論1: "もしこの小袖がＦＳＡＳだけれどそれがうら若いということはないならそれは夜間勤務でない"が導かれる
2. 仮定1: 以下のように仮定する。この小袖はＦＳＡＳである一方でそれはうら若くない
3. 推論1と仮定1から、推論2: "この小袖は夜間勤務でない"が導かれる
4. 推論2と事実4から、推論3: "「あの大ピンチは一般社会でないけれど四時間半である」ということは確かだ"が導かれる
5. 推論3と事実19から、推論4: "あの大ピンチは準備作業でない"が導かれる
6. 推論4と事実8から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この小袖がＦＳＡＳだけどうら若いということはない」ということは嘘である"が導かれる
8. 推論6と事実12から、仮説が否定される

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