もし仮にこのトリフルラリンが鍵盤楽器だとするとその各部課は行動しないが懐こい
fact1: 仮にとある物は行動しないなら「それは蒸発しないし更に鍵盤楽器である」ということは誤りである fact2: もしも「その各部課は問い直すということはなくて名残惜しくない」ということは間違っているとしたら出易くない fact3: もし仮に何らかのものはＯＲＧであるということはないし更にすげなくないとすると懐こい fact4: もしもこのトリフルラリンがすげないししかも鍵盤楽器であるとすればその各部課は行動しない fact5: 「その各部課は問い直すけどそれは名残惜しくない」ということは確かでない fact6: もしもその各部課が出易くないとするとそれは蒸発する fact7: この毛氈は懐こくない fact8: その各部課はＯＲＧでない fact9: その各部課は市販する fact10: もし仮にその各部課が出易くないならばそれは蒸発するしかつ懐こい fact11: 「このトリフルラリンは鍵盤楽器でなくてかつそれは行動しない」ということは誤りである fact12: その各部課は蒸発する fact13: このトリフルラリンは蒸発しない fact14: このトリフルラリンはＯＲＧでない fact15: もし仮に「このトリフルラリンは出易いということはない」ということは確かであるならそれは鍵盤楽器だしさらに蒸発する fact16: このトリフルラリンはＯＲＧでないがしかしすげない fact17: 「その各部課は問い直さないけれど名残惜しい」ということは間違っている fact18: 「その各部課は問い直さなくてしかも名残惜しくない」ということは嘘である
fact16 -> int1: このトリフルラリンはすげない; void -> assump1: 以下のように仮定する。このトリフルラリンは鍵盤楽器だ; int1 & assump1 -> int2: このトリフルラリンはすげなくて鍵盤楽器だ; int2 & fact4 -> int3: その各部課は行動しない; fact18 & fact2 -> int4: その各部課は出易くない; fact10 & int4 -> int5: その各部課は蒸発するし懐こい; int5 -> int6: その各部課は懐こい; int3 & int6 -> int7: その各部課は行動しない一方で懐こい; [assump1] & int7 -> hypothesis;
その天使は懐こい
fact20 -> int8: もしその天使はＯＲＧでなくてまたすげなくないなら懐こい; fact19 -> int9: もしこのキーストーン種は行動しないとすると「蒸発しないし更にそれは鍵盤楽器だ」ということは間違っている;
$facts$ = fact1: 仮にとある物は行動しないなら「それは蒸発しないし更に鍵盤楽器である」ということは誤りである fact2: もしも「その各部課は問い直すということはなくて名残惜しくない」ということは間違っているとしたら出易くない fact3: もし仮に何らかのものはＯＲＧであるということはないし更にすげなくないとすると懐こい fact4: もしもこのトリフルラリンがすげないししかも鍵盤楽器であるとすればその各部課は行動しない fact5: 「その各部課は問い直すけどそれは名残惜しくない」ということは確かでない fact6: もしもその各部課が出易くないとするとそれは蒸発する fact7: この毛氈は懐こくない fact8: その各部課はＯＲＧでない fact9: その各部課は市販する fact10: もし仮にその各部課が出易くないならばそれは蒸発するしかつ懐こい fact11: 「このトリフルラリンは鍵盤楽器でなくてかつそれは行動しない」ということは誤りである fact12: その各部課は蒸発する fact13: このトリフルラリンは蒸発しない fact14: このトリフルラリンはＯＲＧでない fact15: もし仮に「このトリフルラリンは出易いということはない」ということは確かであるならそれは鍵盤楽器だしさらに蒸発する fact16: このトリフルラリンはＯＲＧでないがしかしすげない fact17: 「その各部課は問い直さないけれど名残惜しい」ということは間違っている fact18: 「その各部課は問い直さなくてしかも名残惜しくない」ということは嘘である ; $hypothesis$ = もし仮にこのトリフルラリンが鍵盤楽器だとするとその各部課は行動しないが懐こい ; $proof$ = 
fact16 -> int1: このトリフルラリンはすげない; void -> assump1: 以下のように仮定する。このトリフルラリンは鍵盤楽器だ; int1 & assump1 -> int2: このトリフルラリンはすげなくて鍵盤楽器だ; int2 & fact4 -> int3: その各部課は行動しない; fact18 & fact2 -> int4: その各部課は出易くない; fact10 & int4 -> int5: その各部課は蒸発するし懐こい; int5 -> int6: その各部課は懐こい; int3 & int6 -> int7: その各部課は行動しない一方で懐こい; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮にとある物は行動しないなら「それは蒸発しないし更に鍵盤楽器である」ということは誤りである
事実2: もしも「その各部課は問い直すということはなくて名残惜しくない」ということは間違っているとしたら出易くない
事実3: もし仮に何らかのものはＯＲＧであるということはないし更にすげなくないとすると懐こい
事実4: もしもこのトリフルラリンがすげないししかも鍵盤楽器であるとすればその各部課は行動しない
事実5: 「その各部課は問い直すけどそれは名残惜しくない」ということは確かでない
事実6: もしもその各部課が出易くないとするとそれは蒸発する
事実7: この毛氈は懐こくない
事実8: その各部課はＯＲＧでない
事実9: その各部課は市販する
事実10: もし仮にその各部課が出易くないならばそれは蒸発するしかつ懐こい
事実11: 「このトリフルラリンは鍵盤楽器でなくてかつそれは行動しない」ということは誤りである
事実12: その各部課は蒸発する
事実13: このトリフルラリンは蒸発しない
事実14: このトリフルラリンはＯＲＧでない
事実15: もし仮に「このトリフルラリンは出易いということはない」ということは確かであるならそれは鍵盤楽器だしさらに蒸発する
事実16: このトリフルラリンはＯＲＧでないがしかしすげない
事実17: 「その各部課は問い直さないけれど名残惜しい」ということは間違っている
事実18: 「その各部課は問い直さなくてしかも名残惜しくない」ということは嘘である

仮説: もし仮にこのトリフルラリンが鍵盤楽器だとするとその各部課は行動しないが懐こい
1. 事実16から、推論1: "このトリフルラリンはすげない"が導かれる
2. 仮定1: 以下のように仮定する。このトリフルラリンは鍵盤楽器だ
3. 推論1と仮定1から、推論2: "このトリフルラリンはすげなくて鍵盤楽器だ"が導かれる
4. 推論2と事実4から、推論3: "その各部課は行動しない"が導かれる
5. 事実18と事実2から、推論4: "その各部課は出易くない"が導かれる
6. 事実10と推論4から、推論5: "その各部課は蒸発するし懐こい"が導かれる
7. 推論5から、推論6: "その各部課は懐こい"が導かれる
8. 推論3と推論6から、推論7: "その各部課は行動しない一方で懐こい"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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