もし仮にこの不許可事由が引き止めるとするとこの授業後は忍ばさないしおまけに運び易くない
fact1: 仮にその処理法はチェックリストでないとしたら「この不許可事由は強行採決でなくてその上運び易いない」ということは事実だ fact2: この不許可事由はチェックリストでなくてその上それは強行採決でない fact3: この通学路は強行採決でない fact4: その処理法は横たえるということはないしそれに連合協定工事請け負い契約約款でない fact5: 仮にこの不許可事由は強行採決であるとしたら「その処理法はチェックリストでない」ということは本当である fact6: この不許可事由は小気味良くないしおまけに運び易くない fact7: 仮に「この授業後は引き止めるかあるいは運び易い」ということは成り立つとすればこの不許可事由はチェックリストでない fact8: もしこの不許可事由が強行採決であるということはないならその処理法はチェックリストでない fact9: この不許可事由は忍ばさない fact10: その処理法が忍ばさないとすればこの授業後は強行採決でないがしかし引き止める fact11: その処理法が強行採決でないとするとこの授業後は忍ばさないし運び易くない fact12: その処理法が忍ばすとしたらこの授業後は強行採決でない fact13: もしも「この不許可事由はチェックリストであるかまたはそれは引き止めるかもしくはどちらもである」ということは偽でないとするとその処理法は強行採決でない fact14: この不許可事由は左右され易くない fact15: もしもその処理法はチェックリストであるかまたは忍ばすかあるいは両方であるなら「この不許可事由は強行採決でない」ということは嘘でない fact16: この授業後は忍ばさない一方で運び易い
void -> assump1: 以下のように仮定する。「この不許可事由は引き止める」ということは本当だ; assump1 -> int1: この不許可事由はチェックリストであるかもしくは引き止めるかあるいは両方ともだ; int1 & fact13 -> int2: その処理法は強行採決でない; int2 & fact11 -> int3: この授業後は忍ばさないしその上それは運び易いということはない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にその処理法はチェックリストでないとしたら「この不許可事由は強行採決でなくてその上運び易いない」ということは事実だ fact2: この不許可事由はチェックリストでなくてその上それは強行採決でない fact3: この通学路は強行採決でない fact4: その処理法は横たえるということはないしそれに連合協定工事請け負い契約約款でない fact5: 仮にこの不許可事由は強行採決であるとしたら「その処理法はチェックリストでない」ということは本当である fact6: この不許可事由は小気味良くないしおまけに運び易くない fact7: 仮に「この授業後は引き止めるかあるいは運び易い」ということは成り立つとすればこの不許可事由はチェックリストでない fact8: もしこの不許可事由が強行採決であるということはないならその処理法はチェックリストでない fact9: この不許可事由は忍ばさない fact10: その処理法が忍ばさないとすればこの授業後は強行採決でないがしかし引き止める fact11: その処理法が強行採決でないとするとこの授業後は忍ばさないし運び易くない fact12: その処理法が忍ばすとしたらこの授業後は強行採決でない fact13: もしも「この不許可事由はチェックリストであるかまたはそれは引き止めるかもしくはどちらもである」ということは偽でないとするとその処理法は強行採決でない fact14: この不許可事由は左右され易くない fact15: もしもその処理法はチェックリストであるかまたは忍ばすかあるいは両方であるなら「この不許可事由は強行採決でない」ということは嘘でない fact16: この授業後は忍ばさない一方で運び易い ; $hypothesis$ = もし仮にこの不許可事由が引き止めるとするとこの授業後は忍ばさないしおまけに運び易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この不許可事由は引き止める」ということは本当だ; assump1 -> int1: この不許可事由はチェックリストであるかもしくは引き止めるかあるいは両方ともだ; int1 & fact13 -> int2: その処理法は強行採決でない; int2 & fact11 -> int3: この授業後は忍ばさないしその上それは運び易いということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にその処理法はチェックリストでないとしたら「この不許可事由は強行採決でなくてその上運び易いない」ということは事実だ
事実2: この不許可事由はチェックリストでなくてその上それは強行採決でない
事実3: この通学路は強行採決でない
事実4: その処理法は横たえるということはないしそれに連合協定工事請け負い契約約款でない
事実5: 仮にこの不許可事由は強行採決であるとしたら「その処理法はチェックリストでない」ということは本当である
事実6: この不許可事由は小気味良くないしおまけに運び易くない
事実7: 仮に「この授業後は引き止めるかあるいは運び易い」ということは成り立つとすればこの不許可事由はチェックリストでない
事実8: もしこの不許可事由が強行採決であるということはないならその処理法はチェックリストでない
事実9: この不許可事由は忍ばさない
事実10: その処理法が忍ばさないとすればこの授業後は強行採決でないがしかし引き止める
事実11: その処理法が強行採決でないとするとこの授業後は忍ばさないし運び易くない
事実12: その処理法が忍ばすとしたらこの授業後は強行採決でない
事実13: もしも「この不許可事由はチェックリストであるかまたはそれは引き止めるかもしくはどちらもである」ということは偽でないとするとその処理法は強行採決でない
事実14: この不許可事由は左右され易くない
事実15: もしもその処理法はチェックリストであるかまたは忍ばすかあるいは両方であるなら「この不許可事由は強行採決でない」ということは嘘でない
事実16: この授業後は忍ばさない一方で運び易い

仮説: もし仮にこの不許可事由が引き止めるとするとこの授業後は忍ばさないしおまけに運び易くない
1. 仮定1: 以下のように仮定する。「この不許可事由は引き止める」ということは本当だ
2. 仮定1から、推論1: "この不許可事由はチェックリストであるかもしくは引き止めるかあるいは両方ともだ"が導かれる
3. 推論1と事実13から、推論2: "その処理法は強行採決でない"が導かれる
4. 推論2と事実11から、推論3: "この授業後は忍ばさないしその上それは運び易いということはない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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