「この農閑期はけばけばしくない」ということは事実だ
fact1: もしその狂犬病が過ごし易くないけれどそれは連座するとすれば「この農閑期は連座しない」ということは正しい fact2: もし「この被雇用上層ホワイトカラーは国際感覚でない」ということは正しいならこの農閑期はけばけばしくない fact3: もしもなにかは嫉妬深くないとすればそれは過ごし易くない一方で連座する fact4: その狂犬病は変え難い fact5: 変え難いものは晒され易い fact6: もし「この被雇用上層ホワイトカラーは国際感覚だし変え難い」ということは間違いであるとすればその狂犬病は晒され易くない fact7: その狂犬病は晒され易いかまたは変え難い fact8: その狂犬病が晒され易くないとするとあの支払い方法は連座しない fact9: もし「この被雇用上層ホワイトカラーは国際感覚でしかも嫉妬深い」ということは事実と異なるとするとこの農閑期はけばけばしいということはない fact10: あの支払い方法は連座するということはないとすれば「この被雇用上層ホワイトカラーは国際感覚であるしまた嫉妬深い」ということは嘘だ fact11: 仮にとある物が連座しないかそれが国際感覚ならそれは変え難い fact12: もしも何かは晒され易いならそれはけばけばしい fact13: その狂犬病が晒され易くないか変え難いかもしくは両方だとするとあの支払い方法は連座しない fact14: もしもこの農閑期が連座しないかあるいはそれが嫉妬深いか両方ともであるならばこの被雇用上層ホワイトカラーはけばけばしくない fact15: この被雇用上層ホワイトカラーは机上でない fact16: あの支払い方法は連座するかまたはけばけばしい fact17: もし仮にあの支払い方法が余儀無くなくて加えて新しないならばあの狂犬病は嫉妬深いということはない
fact4 -> int1: その狂犬病は晒され易くないか変え難いかあるいは両方だ; int1 & fact13 -> int2: あの支払い方法は連座しない; int2 & fact10 -> int3: 「この被雇用上層ホワイトカラーが国際感覚だしさらにそれは嫉妬深い」ということは嘘だ; int3 & fact9 -> hypothesis;
「この農閑期はけばけばしい」ということは事実である
fact20 -> int4: もしこの農閑期が晒され易いとしたらそれはけばけばしい; fact21 -> int5: もしこの農閑期が変え難いなら晒され易い; fact22 -> int6: もし仮にこの農閑期が連座しないか国際感覚であるかあるいは両方ともだとすればそれは変え難い; fact23 -> int7: もし仮にその狂犬病が嫉妬深くないとしたらそれは過ごし易くないし更に連座する;
$facts$ = fact1: もしその狂犬病が過ごし易くないけれどそれは連座するとすれば「この農閑期は連座しない」ということは正しい fact2: もし「この被雇用上層ホワイトカラーは国際感覚でない」ということは正しいならこの農閑期はけばけばしくない fact3: もしもなにかは嫉妬深くないとすればそれは過ごし易くない一方で連座する fact4: その狂犬病は変え難い fact5: 変え難いものは晒され易い fact6: もし「この被雇用上層ホワイトカラーは国際感覚だし変え難い」ということは間違いであるとすればその狂犬病は晒され易くない fact7: その狂犬病は晒され易いかまたは変え難い fact8: その狂犬病が晒され易くないとするとあの支払い方法は連座しない fact9: もし「この被雇用上層ホワイトカラーは国際感覚でしかも嫉妬深い」ということは事実と異なるとするとこの農閑期はけばけばしいということはない fact10: あの支払い方法は連座するということはないとすれば「この被雇用上層ホワイトカラーは国際感覚であるしまた嫉妬深い」ということは嘘だ fact11: 仮にとある物が連座しないかそれが国際感覚ならそれは変え難い fact12: もしも何かは晒され易いならそれはけばけばしい fact13: その狂犬病が晒され易くないか変え難いかもしくは両方だとするとあの支払い方法は連座しない fact14: もしもこの農閑期が連座しないかあるいはそれが嫉妬深いか両方ともであるならばこの被雇用上層ホワイトカラーはけばけばしくない fact15: この被雇用上層ホワイトカラーは机上でない fact16: あの支払い方法は連座するかまたはけばけばしい fact17: もし仮にあの支払い方法が余儀無くなくて加えて新しないならばあの狂犬病は嫉妬深いということはない ; $hypothesis$ = 「この農閑期はけばけばしくない」ということは事実だ ; $proof$ = 
fact4 -> int1: その狂犬病は晒され易くないか変え難いかあるいは両方だ; int1 & fact13 -> int2: あの支払い方法は連座しない; int2 & fact10 -> int3: 「この被雇用上層ホワイトカラーが国際感覚だしさらにそれは嫉妬深い」ということは嘘だ; int3 & fact9 -> hypothesis; __PROVED__
事実1: もしその狂犬病が過ごし易くないけれどそれは連座するとすれば「この農閑期は連座しない」ということは正しい
事実2: もし「この被雇用上層ホワイトカラーは国際感覚でない」ということは正しいならこの農閑期はけばけばしくない
事実3: もしもなにかは嫉妬深くないとすればそれは過ごし易くない一方で連座する
事実4: その狂犬病は変え難い
事実5: 変え難いものは晒され易い
事実6: もし「この被雇用上層ホワイトカラーは国際感覚だし変え難い」ということは間違いであるとすればその狂犬病は晒され易くない
事実7: その狂犬病は晒され易いかまたは変え難い
事実8: その狂犬病が晒され易くないとするとあの支払い方法は連座しない
事実9: もし「この被雇用上層ホワイトカラーは国際感覚でしかも嫉妬深い」ということは事実と異なるとするとこの農閑期はけばけばしいということはない
事実10: あの支払い方法は連座するということはないとすれば「この被雇用上層ホワイトカラーは国際感覚であるしまた嫉妬深い」ということは嘘だ
事実11: 仮にとある物が連座しないかそれが国際感覚ならそれは変え難い
事実12: もしも何かは晒され易いならそれはけばけばしい
事実13: その狂犬病が晒され易くないか変え難いかもしくは両方だとするとあの支払い方法は連座しない
事実14: もしもこの農閑期が連座しないかあるいはそれが嫉妬深いか両方ともであるならばこの被雇用上層ホワイトカラーはけばけばしくない
事実15: この被雇用上層ホワイトカラーは机上でない
事実16: あの支払い方法は連座するかまたはけばけばしい
事実17: もし仮にあの支払い方法が余儀無くなくて加えて新しないならばあの狂犬病は嫉妬深いということはない

仮説: 「この農閑期はけばけばしくない」ということは事実だ
1. 事実4から、推論1: "その狂犬病は晒され易くないか変え難いかあるいは両方だ"が導かれる
2. 推論1と事実13から、推論2: "あの支払い方法は連座しない"が導かれる
3. 推論2と事実10から、推論3: "「この被雇用上層ホワイトカラーが国際感覚だしさらにそれは嫉妬深い」ということは嘘だ"が導かれる
4. 推論3と事実9から、仮説が導かれる

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