もしもこのタイプ分類が受け難いならその便宜上は切り出しである
fact1: 仮にその成人女性は二十一日付けでないとすれば「このタイプ分類は弱々しくてまた来校する」ということは間違いである fact2: その成人女性は切り出しであるかあるいはそれは出現し易いとしたらこのタイプ分類はせこくない fact3: その便宜上はせこいかまたは切り出しであるかもしくは両方である fact4: もしもなにかは来校しないならそれは切り出しでないかもしくは出現し易くないかあるいは両方だ fact5: その成人女性は場所取りである fact6: このタイプ分類はせこいかもしくは受け難い fact7: もし仮にこのタイプ分類は出現し易いとすればその成人女性はせこくない fact8: その成人女性は出現し易くない fact9: その便宜上はせこい fact10: その千八百八十年代は出現し易くない fact11: このタイプ分類は受け難いか出現し易いかまたは両方であるならその成人女性はせこくない fact12: 仮に「その成人女性は受け難いかもしくは切り出しであるかあるいは両方ともだ」ということは本当だとすればその便宜上はせこくない fact13: もし仮にその成人女性はせこくないならその便宜上は切り出しである fact14: あの年利率は出現し易くない fact15: その便宜上は出現し易くない fact16: その便宜上は切り出しであるかもしくはせこいかあるいは両方である fact17: もしも「このタイプ分類は弱々しいし来校する」ということは事実と異なるとすればそれは来校しない fact18: 仮に何かは受け難いとするとせこい fact19: その成人女性は通り難い fact20: もし仮に「何らかの物は擦れ合うしそれに鼻歌する」ということは成り立たないとすればそれは二十一日付けでない
void -> assump1: 以下のように仮定する。このタイプ分類は受け難い; assump1 -> int1: このタイプ分類は受け難いかあるいは出現し易い; int1 & fact11 -> int2: その成人女性はせこくない; int2 & fact13 -> int3: その便宜上は切り出しだ; [assump1] & int3 -> hypothesis;
あのヨーロッパ文明はせこい
fact22 -> int4: もし仮にあのヨーロッパ文明が受け難いとすればそれはせこい; fact23 -> int5: もし仮に「このタイプ分類は来校するということはない」ということは本当ならば切り出しでないかもしくは出現し易くないかあるいはどちらもである; fact25 -> int6: もしも「その成人女性は擦れ合うしその上鼻歌する」ということは成り立たないなら二十一日付けでない;
$facts$ = fact1: 仮にその成人女性は二十一日付けでないとすれば「このタイプ分類は弱々しくてまた来校する」ということは間違いである fact2: その成人女性は切り出しであるかあるいはそれは出現し易いとしたらこのタイプ分類はせこくない fact3: その便宜上はせこいかまたは切り出しであるかもしくは両方である fact4: もしもなにかは来校しないならそれは切り出しでないかもしくは出現し易くないかあるいは両方だ fact5: その成人女性は場所取りである fact6: このタイプ分類はせこいかもしくは受け難い fact7: もし仮にこのタイプ分類は出現し易いとすればその成人女性はせこくない fact8: その成人女性は出現し易くない fact9: その便宜上はせこい fact10: その千八百八十年代は出現し易くない fact11: このタイプ分類は受け難いか出現し易いかまたは両方であるならその成人女性はせこくない fact12: 仮に「その成人女性は受け難いかもしくは切り出しであるかあるいは両方ともだ」ということは本当だとすればその便宜上はせこくない fact13: もし仮にその成人女性はせこくないならその便宜上は切り出しである fact14: あの年利率は出現し易くない fact15: その便宜上は出現し易くない fact16: その便宜上は切り出しであるかもしくはせこいかあるいは両方である fact17: もしも「このタイプ分類は弱々しいし来校する」ということは事実と異なるとすればそれは来校しない fact18: 仮に何かは受け難いとするとせこい fact19: その成人女性は通り難い fact20: もし仮に「何らかの物は擦れ合うしそれに鼻歌する」ということは成り立たないとすればそれは二十一日付けでない ; $hypothesis$ = もしもこのタイプ分類が受け難いならその便宜上は切り出しである ; $proof$ = 
void -> assump1: 以下のように仮定する。このタイプ分類は受け難い; assump1 -> int1: このタイプ分類は受け難いかあるいは出現し易い; int1 & fact11 -> int2: その成人女性はせこくない; int2 & fact13 -> int3: その便宜上は切り出しだ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にその成人女性は二十一日付けでないとすれば「このタイプ分類は弱々しくてまた来校する」ということは間違いである
事実2: その成人女性は切り出しであるかあるいはそれは出現し易いとしたらこのタイプ分類はせこくない
事実3: その便宜上はせこいかまたは切り出しであるかもしくは両方である
事実4: もしもなにかは来校しないならそれは切り出しでないかもしくは出現し易くないかあるいは両方だ
事実5: その成人女性は場所取りである
事実6: このタイプ分類はせこいかもしくは受け難い
事実7: もし仮にこのタイプ分類は出現し易いとすればその成人女性はせこくない
事実8: その成人女性は出現し易くない
事実9: その便宜上はせこい
事実10: その千八百八十年代は出現し易くない
事実11: このタイプ分類は受け難いか出現し易いかまたは両方であるならその成人女性はせこくない
事実12: 仮に「その成人女性は受け難いかもしくは切り出しであるかあるいは両方ともだ」ということは本当だとすればその便宜上はせこくない
事実13: もし仮にその成人女性はせこくないならその便宜上は切り出しである
事実14: あの年利率は出現し易くない
事実15: その便宜上は出現し易くない
事実16: その便宜上は切り出しであるかもしくはせこいかあるいは両方である
事実17: もしも「このタイプ分類は弱々しいし来校する」ということは事実と異なるとすればそれは来校しない
事実18: 仮に何かは受け難いとするとせこい
事実19: その成人女性は通り難い
事実20: もし仮に「何らかの物は擦れ合うしそれに鼻歌する」ということは成り立たないとすればそれは二十一日付けでない

仮説: もしもこのタイプ分類が受け難いならその便宜上は切り出しである
1. 仮定1: 以下のように仮定する。このタイプ分類は受け難い
2. 仮定1から、推論1: "このタイプ分類は受け難いかあるいは出現し易い"が導かれる
3. 推論1と事実11から、推論2: "その成人女性はせこくない"が導かれる
4. 推論2と事実13から、推論3: "その便宜上は切り出しだ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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