その食感は軽いし流用出来る
fact1: もしも「飛ばせる」物があるとすればその東方は迷わない fact2: もしもあの用具は特技だということはないとすれば「それは飛ばせらないし大人し」ということは間違っている fact3: もし仮にその食感がＷＩＲＤならそれは流用出来る fact4: 「その東方は正しないかあるいは軽いかあるいはどちらもだ」ということは誤りであるならそれは流用出来る fact5: 仮にあの用具が特技ならばその食感はＷＩＲＤだ fact6: 仮にその東方がＷＩＲＤだとしたら迷わないしさらに特技だ fact7: その東方は迷う fact8: その東方は三大栄養素であるとしたら「正しないかもしくは軽いか両方ともである」ということは成り立たない fact9: もし仮に「「飛ばせらないがしかし大人し」ということは成り立たない」物があるとするとその東方は迷わない fact10: その償金は迷う fact11: 「その食感は軽い」ということは事実だ fact12: 何らかの物が流用出来るとするとＷＩＲＤである fact13: もし仮にあの用具は特技でないとすると「それは飛ばせるし大人し」ということは真実でない
void -> assump1: 以下のように仮定する。あの用具は特技でない; fact2 & assump1 -> int1: 「あの用具は飛ばせらないけれど大人し」ということは本当でない; int1 -> int2: 「「飛ばせらないけど大人し」ということは間違いである」物はある; int2 & fact9 -> int3: その東方は迷わない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの用具は特技である」ということは事実だ; int5 & fact5 -> int6: その食感はＷＩＲＤである; int6 & fact3 -> int7: その食感は流用出来る; int7 & fact11 -> hypothesis;
「「「蹂躙しないしその上しがない」ということは確かだ」ということは間違っている」ものはある
fact15 -> int8: 「その東方は流用出来る」ということは成り立つとするとＷＩＲＤである;
$facts$ = fact1: もしも「飛ばせる」物があるとすればその東方は迷わない fact2: もしもあの用具は特技だということはないとすれば「それは飛ばせらないし大人し」ということは間違っている fact3: もし仮にその食感がＷＩＲＤならそれは流用出来る fact4: 「その東方は正しないかあるいは軽いかあるいはどちらもだ」ということは誤りであるならそれは流用出来る fact5: 仮にあの用具が特技ならばその食感はＷＩＲＤだ fact6: 仮にその東方がＷＩＲＤだとしたら迷わないしさらに特技だ fact7: その東方は迷う fact8: その東方は三大栄養素であるとしたら「正しないかもしくは軽いか両方ともである」ということは成り立たない fact9: もし仮に「「飛ばせらないがしかし大人し」ということは成り立たない」物があるとするとその東方は迷わない fact10: その償金は迷う fact11: 「その食感は軽い」ということは事実だ fact12: 何らかの物が流用出来るとするとＷＩＲＤである fact13: もし仮にあの用具は特技でないとすると「それは飛ばせるし大人し」ということは真実でない ; $hypothesis$ = その食感は軽いし流用出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの用具は特技でない; fact2 & assump1 -> int1: 「あの用具は飛ばせらないけれど大人し」ということは本当でない; int1 -> int2: 「「飛ばせらないけど大人し」ということは間違いである」物はある; int2 & fact9 -> int3: その東方は迷わない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの用具は特技である」ということは事実だ; int5 & fact5 -> int6: その食感はＷＩＲＤである; int6 & fact3 -> int7: その食感は流用出来る; int7 & fact11 -> hypothesis; __PROVED__
事実1: もしも「飛ばせる」物があるとすればその東方は迷わない
事実2: もしもあの用具は特技だということはないとすれば「それは飛ばせらないし大人し」ということは間違っている
事実3: もし仮にその食感がＷＩＲＤならそれは流用出来る
事実4: 「その東方は正しないかあるいは軽いかあるいはどちらもだ」ということは誤りであるならそれは流用出来る
事実5: 仮にあの用具が特技ならばその食感はＷＩＲＤだ
事実6: 仮にその東方がＷＩＲＤだとしたら迷わないしさらに特技だ
事実7: その東方は迷う
事実8: その東方は三大栄養素であるとしたら「正しないかもしくは軽いか両方ともである」ということは成り立たない
事実9: もし仮に「「飛ばせらないがしかし大人し」ということは成り立たない」物があるとするとその東方は迷わない
事実10: その償金は迷う
事実11: 「その食感は軽い」ということは事実だ
事実12: 何らかの物が流用出来るとするとＷＩＲＤである
事実13: もし仮にあの用具は特技でないとすると「それは飛ばせるし大人し」ということは真実でない

仮説: その食感は軽いし流用出来る
1. 仮定1: 以下のように仮定する。あの用具は特技でない
2. 事実2と仮定1から、推論1: "「あの用具は飛ばせらないけれど大人し」ということは本当でない"が導かれる
3. 推論1から、推論2: "「「飛ばせらないけど大人し」ということは間違いである」物はある"が導かれる
4. 推論2と事実9から、推論3: "その東方は迷わない"が導かれる
5. 推論3と事実7から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの用具は特技である」ということは事実だ"が導かれる
7. 推論5と事実5から、推論6: "その食感はＷＩＲＤである"が導かれる
8. 推論6と事実3から、推論7: "その食感は流用出来る"が導かれる
9. 推論7と事実11から、仮説が導かれる

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