「その費用損害は苦しいということはないしヒヤリングするということはない」ということは真実である
fact1: もしもその肺結核がいじらしいとすればその当機は痛み易い fact2: 「もしもあの不承不承は苦しいということはないなら「「その費用損害は苦しくないしヒヤリングするということはない」ということは誤っている」ということは成り立つ」ということは本当だ fact3: 仮にその当機が痛み易いならそれは引火だ fact4: もしも「あのワールド・トレード・センターは中域であるしそれにヒヤリングする」ということは偽であるとすれば「その費用損害はヒヤリングしない」ということは事実だ fact5: あのワールド・トレード・センターは中域である fact6: 仮に「あるものは引火でないけれど中域だ」ということは成り立たないならそれは引火だ fact7: あのワールド・トレード・センターは大差無い fact8: 仮にあの不承不承は苦しいということはないならば「その費用損害は苦しいがしかし広がり始めない」ということは誤りだ fact9: もし仮に「その当機は引火である」ということは本当であるならば「「あの不承不承は引火であるけれど広がり始めない」ということは本当である」ということは間違っている fact10: 仮にある物が大差無いしその上中域であるとするとその肺結核はいじらしい fact11: もし「その肺結核は痛み易いけどいじらしくない」ということは偽だとしたらそれはヒヤリングしない fact12: その当機が大差無くないけど苦しいならばあの費用損害は苦しくない fact13: 「何かは引火であるが広がり始めない」ということは誤りであるとすると苦しくない
fact7 & fact5 -> int1: あのワールド・トレード・センターは大差無いしおまけに中域だ; int1 -> int2: あるものは大差無くて中域だ; int2 & fact10 -> int3: その肺結核はいじらしい; int3 & fact1 -> int4: その当機は痛み易い; int4 & fact3 -> int5: 「その当機は引火である」ということは確かだ; int5 & fact9 -> int6: 「あの不承不承は引火であるけど広がり始めない」ということは誤りである; fact13 -> int7: もし「あの不承不承は引火であるけれどそれは広がり始めない」ということは事実と異なるとしたらそれは苦しくない; int6 & int7 -> int8: あの不承不承は苦しいということはない; int8 & fact2 -> hypothesis;
この米国国民は引火である
fact14 -> int9: もしも「この米国国民は引火でないけど中域だ」ということは成り立たないなら引火だ;
$facts$ = fact1: もしもその肺結核がいじらしいとすればその当機は痛み易い fact2: 「もしもあの不承不承は苦しいということはないなら「「その費用損害は苦しくないしヒヤリングするということはない」ということは誤っている」ということは成り立つ」ということは本当だ fact3: 仮にその当機が痛み易いならそれは引火だ fact4: もしも「あのワールド・トレード・センターは中域であるしそれにヒヤリングする」ということは偽であるとすれば「その費用損害はヒヤリングしない」ということは事実だ fact5: あのワールド・トレード・センターは中域である fact6: 仮に「あるものは引火でないけれど中域だ」ということは成り立たないならそれは引火だ fact7: あのワールド・トレード・センターは大差無い fact8: 仮にあの不承不承は苦しいということはないならば「その費用損害は苦しいがしかし広がり始めない」ということは誤りだ fact9: もし仮に「その当機は引火である」ということは本当であるならば「「あの不承不承は引火であるけれど広がり始めない」ということは本当である」ということは間違っている fact10: 仮にある物が大差無いしその上中域であるとするとその肺結核はいじらしい fact11: もし「その肺結核は痛み易いけどいじらしくない」ということは偽だとしたらそれはヒヤリングしない fact12: その当機が大差無くないけど苦しいならばあの費用損害は苦しくない fact13: 「何かは引火であるが広がり始めない」ということは誤りであるとすると苦しくない ; $hypothesis$ = 「その費用損害は苦しいということはないしヒヤリングするということはない」ということは真実である ; $proof$ = 
fact7 & fact5 -> int1: あのワールド・トレード・センターは大差無いしおまけに中域だ; int1 -> int2: あるものは大差無くて中域だ; int2 & fact10 -> int3: その肺結核はいじらしい; int3 & fact1 -> int4: その当機は痛み易い; int4 & fact3 -> int5: 「その当機は引火である」ということは確かだ; int5 & fact9 -> int6: 「あの不承不承は引火であるけど広がり始めない」ということは誤りである; fact13 -> int7: もし「あの不承不承は引火であるけれどそれは広がり始めない」ということは事実と異なるとしたらそれは苦しくない; int6 & int7 -> int8: あの不承不承は苦しいということはない; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもその肺結核がいじらしいとすればその当機は痛み易い
事実2: 「もしもあの不承不承は苦しいということはないなら「「その費用損害は苦しくないしヒヤリングするということはない」ということは誤っている」ということは成り立つ」ということは本当だ
事実3: 仮にその当機が痛み易いならそれは引火だ
事実4: もしも「あのワールド・トレード・センターは中域であるしそれにヒヤリングする」ということは偽であるとすれば「その費用損害はヒヤリングしない」ということは事実だ
事実5: あのワールド・トレード・センターは中域である
事実6: 仮に「あるものは引火でないけれど中域だ」ということは成り立たないならそれは引火だ
事実7: あのワールド・トレード・センターは大差無い
事実8: 仮にあの不承不承は苦しいということはないならば「その費用損害は苦しいがしかし広がり始めない」ということは誤りだ
事実9: もし仮に「その当機は引火である」ということは本当であるならば「「あの不承不承は引火であるけれど広がり始めない」ということは本当である」ということは間違っている
事実10: 仮にある物が大差無いしその上中域であるとするとその肺結核はいじらしい
事実11: もし「その肺結核は痛み易いけどいじらしくない」ということは偽だとしたらそれはヒヤリングしない
事実12: その当機が大差無くないけど苦しいならばあの費用損害は苦しくない
事実13: 「何かは引火であるが広がり始めない」ということは誤りであるとすると苦しくない

仮説: 「その費用損害は苦しいということはないしヒヤリングするということはない」ということは真実である
1. 事実7と事実5から、推論1: "あのワールド・トレード・センターは大差無いしおまけに中域だ"が導かれる
2. 推論1から、推論2: "あるものは大差無くて中域だ"が導かれる
3. 推論2と事実10から、推論3: "その肺結核はいじらしい"が導かれる
4. 推論3と事実1から、推論4: "その当機は痛み易い"が導かれる
5. 推論4と事実3から、推論5: "「その当機は引火である」ということは確かだ"が導かれる
6. 推論5と事実9から、推論6: "「あの不承不承は引火であるけど広がり始めない」ということは誤りである"が導かれる
7. 事実13から、推論7: "もし「あの不承不承は引火であるけれどそれは広がり始めない」ということは事実と異なるとしたらそれは苦しくない"が導かれる
8. 推論6と推論7から、推論8: "あの不承不承は苦しいということはない"が導かれる
9. 推論8と事実2から、仮説が否定される

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