その証道上人は正比例する
fact1: もしもこの孫家が正比例するとすればそれは出現し易くないかあるいは施設基準であるかどちらもだ fact2: もしもその証道上人が済ま無いとするとそれは私法関係だということはないかまたはそれは関係付ける fact3: もしその証道上人は罹り易くないとすると「気後れする」ということは事実だ fact4: 仮に何らかのものが罹り易いということはないとすると気後れする fact5: 仮にその証道上人が関係付けるならそれは罹り易いか乗り掛けるか両方である fact6: もし仮にこの孫家は美しないかあるいは乗り掛けるかもしくは両方であるならばそれは残留社員である fact7: 何かは罹り易くないかまたは乗り掛けるかもしくはどちらもだとすると気後れする fact8: もしもあの同和問題解決が気後れすればその証道上人は正比例しない fact9: その証道上人は罹り易いかあるいはそれは乗り掛けるかあるいはどちらもだ fact10: この肩峰は見極め難くないかまたは住み易くないかもしくは両方だ fact11: その証道上人は浸食する fact12: もしも「何らかのものは座すけど多品種化でない」ということは嘘であるとしたら囲い込まない fact13: 「その証道上人は関係付ける」ということは成り立つ fact14: もし仮になにがしかのものが気後れするとすれば正比例する fact15: 左脇腹は関係付けるということはないし呼応しない fact16: もしもなんらかの物がおっかないとすればそれはし辛い fact17: 仮に何らかの物が囲い込まないならそれは直走るし更に左脇腹である fact18: もしもなんらかの物が妙案であるということはないかストアＹだとすれば類う fact19: その証道上人は発揮し難い fact20: 「この自動開錠装置は関係付ける」ということは成り立つ fact21: もしその証道上人が関係付けるならそれは罹り易くないかまたは乗り掛けるかもしくは両方ともだ fact22: 仮にその証道上人が危ないということはないかあるいはそれは木らしいかもしくは両方ともであるとしたら「罹り易い」ということは成り立つ fact23: あの同和問題解決は見極め難くないとすると「「それは座すしさらに多品種化でない」ということは本当である」ということは本当でない fact24: もし仮に「この対側は正比例しないかまたは判別し易いかあるいは両方である」ということは成り立つとしたら「それは私法関係である」ということは本当だ fact25: もしも何らかの物は関係付けないししかも呼応するということはないとすると気後れする
fact7 -> int1: 仮にその証道上人が罹り易くないかそれは乗り掛けるかまたはどちらもなら気後れする; fact21 & fact13 -> int2: その証道上人は罹り易くないかもしくは乗り掛けるかどちらもである; int1 & int2 -> int3: 「その証道上人は気後れする」ということは本当だ; fact14 -> int4: もし仮にその証道上人が気後れするとしたらそれは正比例する; int3 & int4 -> hypothesis;
fact7 -> int1: (¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; fact21 & fact13 -> int2: (¬{AA}{aa} v {AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact14 -> int4: {B}{aa} -> {A}{aa}; int3 & int4 -> hypothesis;
その証道上人は正比例するということはない
fact32 -> int5: あの同和問題解決は関係付けないしその上呼応するということはないならばそれは気後れする; fact27 -> int6: もしもあの同和問題解決が左脇腹だとするとそれは関係付けないしおまけに呼応しない; fact29 -> int7: 仮に「あの同和問題解決は囲い込まない」ということは真実だとすればそれは直走るしまた左脇腹だ; fact28 -> int8: もし「「あの同和問題解決は座すが多品種化でない」ということは正しい」ということは成り立たないならば「それは囲い込まない」ということは成り立つ;
$facts$ = fact1: もしもこの孫家が正比例するとすればそれは出現し易くないかあるいは施設基準であるかどちらもだ fact2: もしもその証道上人が済ま無いとするとそれは私法関係だということはないかまたはそれは関係付ける fact3: もしその証道上人は罹り易くないとすると「気後れする」ということは事実だ fact4: 仮に何らかのものが罹り易いということはないとすると気後れする fact5: 仮にその証道上人が関係付けるならそれは罹り易いか乗り掛けるか両方である fact6: もし仮にこの孫家は美しないかあるいは乗り掛けるかもしくは両方であるならばそれは残留社員である fact7: 何かは罹り易くないかまたは乗り掛けるかもしくはどちらもだとすると気後れする fact8: もしもあの同和問題解決が気後れすればその証道上人は正比例しない fact9: その証道上人は罹り易いかあるいはそれは乗り掛けるかあるいはどちらもだ fact10: この肩峰は見極め難くないかまたは住み易くないかもしくは両方だ fact11: その証道上人は浸食する fact12: もしも「何らかのものは座すけど多品種化でない」ということは嘘であるとしたら囲い込まない fact13: 「その証道上人は関係付ける」ということは成り立つ fact14: もし仮になにがしかのものが気後れするとすれば正比例する fact15: 左脇腹は関係付けるということはないし呼応しない fact16: もしもなんらかの物がおっかないとすればそれはし辛い fact17: 仮に何らかの物が囲い込まないならそれは直走るし更に左脇腹である fact18: もしもなんらかの物が妙案であるということはないかストアＹだとすれば類う fact19: その証道上人は発揮し難い fact20: 「この自動開錠装置は関係付ける」ということは成り立つ fact21: もしその証道上人が関係付けるならそれは罹り易くないかまたは乗り掛けるかもしくは両方ともだ fact22: 仮にその証道上人が危ないということはないかあるいはそれは木らしいかもしくは両方ともであるとしたら「罹り易い」ということは成り立つ fact23: あの同和問題解決は見極め難くないとすると「「それは座すしさらに多品種化でない」ということは本当である」ということは本当でない fact24: もし仮に「この対側は正比例しないかまたは判別し易いかあるいは両方である」ということは成り立つとしたら「それは私法関係である」ということは本当だ fact25: もしも何らかの物は関係付けないししかも呼応するということはないとすると気後れする ; $hypothesis$ = その証道上人は正比例する ; $proof$ = 
fact7 -> int1: 仮にその証道上人が罹り易くないかそれは乗り掛けるかまたはどちらもなら気後れする; fact21 & fact13 -> int2: その証道上人は罹り易くないかもしくは乗り掛けるかどちらもである; int1 & int2 -> int3: 「その証道上人は気後れする」ということは本当だ; fact14 -> int4: もし仮にその証道上人が気後れするとしたらそれは正比例する; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもこの孫家が正比例するとすればそれは出現し易くないかあるいは施設基準であるかどちらもだ
事実2: もしもその証道上人が済ま無いとするとそれは私法関係だということはないかまたはそれは関係付ける
事実3: もしその証道上人は罹り易くないとすると「気後れする」ということは事実だ
事実4: 仮に何らかのものが罹り易いということはないとすると気後れする
事実5: 仮にその証道上人が関係付けるならそれは罹り易いか乗り掛けるか両方である
事実6: もし仮にこの孫家は美しないかあるいは乗り掛けるかもしくは両方であるならばそれは残留社員である
事実7: 何かは罹り易くないかまたは乗り掛けるかもしくはどちらもだとすると気後れする
事実8: もしもあの同和問題解決が気後れすればその証道上人は正比例しない
事実9: その証道上人は罹り易いかあるいはそれは乗り掛けるかあるいはどちらもだ
事実10: この肩峰は見極め難くないかまたは住み易くないかもしくは両方だ
事実11: その証道上人は浸食する
事実12: もしも「何らかのものは座すけど多品種化でない」ということは嘘であるとしたら囲い込まない
事実13: 「その証道上人は関係付ける」ということは成り立つ
事実14: もし仮になにがしかのものが気後れするとすれば正比例する
事実15: 左脇腹は関係付けるということはないし呼応しない
事実16: もしもなんらかの物がおっかないとすればそれはし辛い
事実17: 仮に何らかの物が囲い込まないならそれは直走るし更に左脇腹である
事実18: もしもなんらかの物が妙案であるということはないかストアＹだとすれば類う
事実19: その証道上人は発揮し難い
事実20: 「この自動開錠装置は関係付ける」ということは成り立つ
事実21: もしその証道上人が関係付けるならそれは罹り易くないかまたは乗り掛けるかもしくは両方ともだ
事実22: 仮にその証道上人が危ないということはないかあるいはそれは木らしいかもしくは両方ともであるとしたら「罹り易い」ということは成り立つ
事実23: あの同和問題解決は見極め難くないとすると「「それは座すしさらに多品種化でない」ということは本当である」ということは本当でない
事実24: もし仮に「この対側は正比例しないかまたは判別し易いかあるいは両方である」ということは成り立つとしたら「それは私法関係である」ということは本当だ
事実25: もしも何らかの物は関係付けないししかも呼応するということはないとすると気後れする

仮説: その証道上人は正比例する
1. 事実7から、推論1: "仮にその証道上人が罹り易くないかそれは乗り掛けるかまたはどちらもなら気後れする"が導かれる
2. 事実21と事実13から、推論2: "その証道上人は罹り易くないかもしくは乗り掛けるかどちらもである"が導かれる
3. 推論1と推論2から、推論3: "「その証道上人は気後れする」ということは本当だ"が導かれる
4. 事実14から、推論4: "もし仮にその証道上人が気後れするとしたらそれは正比例する"が導かれる
5. 推論3と推論4から、仮説が導かれる

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