あのボーイフレンドは書き難い
fact1: この掛かり方は身軽いかあるいは迷い易いかあるいはどちらもだ fact2: 何かは御用意する fact3: この掛かり方が身軽くないかあるいは迷い易いかどちらもだとしたらあのボーイフレンドは書き難くない fact4: 「身軽い」ものはある fact5: なんらかの物はすっごーいということはない fact6: もし「身軽いということはない」物があるとすればあのボーイフレンドは書き難くないかもしくは迷い易いかあるいは両方である fact7: もし仮に「「御用意する」ということは成り立たない」物があるとするとこの掛かり方は身軽くないかまたはそれは迷い易いかまたは両方ともだ fact8: 「身軽くない」物があるとすればあの掛かり方は迷い易くないかもしくは書き難い fact9: もしも「ある物は御用意するがしかし身軽くない」ということは成り立たないとすれば「書き難い」ということは確かだ fact10: あのボーイフレンドが身軽いならこの掛かり方は書き難くない fact11: あのボーイフレンドは書き難くないかあるいは実存的根幹であるかまたは両方ともだ fact12: 「迷い易くない」物はある fact13: ある物は御用意しない fact14: この掛かり方は書き難くないかまたはそれは身軽い fact15: 「この掛かり方は迷い易くてかつそれは御用意する」ということは成り立たない fact16: 「御用意しない」ものがあるとするとこの掛かり方は身軽いかそれは迷い易い fact17: もし「迷い易くない」物はあるとしたら「この掛かり方は書き難くないかまたはそれは身軽い」ということは事実だ fact18: もし仮に「迷い易くない」物があるとしたらあのボーイフレンドは身軽くないかあるいは書き難いかあるいはどちらもだ fact19: あのボーイフレンドは身軽くないかまたは書き難いかもしくは両方だ
fact13 & fact7 -> int1: この掛かり方は身軽くないかあるいは迷い易いかもしくは両方である; int1 & fact3 -> hypothesis;
fact13 & fact7 -> int1: (¬{B}{a} v {C}{a}); int1 & fact3 -> hypothesis;
「あのボーイフレンドは書き難い」ということは成り立つ
fact20 -> int2: 「あのボーイフレンドは御用意する一方で身軽くない」ということは成り立たないとすればそれは書き難い;
$facts$ = fact1: この掛かり方は身軽いかあるいは迷い易いかあるいはどちらもだ fact2: 何かは御用意する fact3: この掛かり方が身軽くないかあるいは迷い易いかどちらもだとしたらあのボーイフレンドは書き難くない fact4: 「身軽い」ものはある fact5: なんらかの物はすっごーいということはない fact6: もし「身軽いということはない」物があるとすればあのボーイフレンドは書き難くないかもしくは迷い易いかあるいは両方である fact7: もし仮に「「御用意する」ということは成り立たない」物があるとするとこの掛かり方は身軽くないかまたはそれは迷い易いかまたは両方ともだ fact8: 「身軽くない」物があるとすればあの掛かり方は迷い易くないかもしくは書き難い fact9: もしも「ある物は御用意するがしかし身軽くない」ということは成り立たないとすれば「書き難い」ということは確かだ fact10: あのボーイフレンドが身軽いならこの掛かり方は書き難くない fact11: あのボーイフレンドは書き難くないかあるいは実存的根幹であるかまたは両方ともだ fact12: 「迷い易くない」物はある fact13: ある物は御用意しない fact14: この掛かり方は書き難くないかまたはそれは身軽い fact15: 「この掛かり方は迷い易くてかつそれは御用意する」ということは成り立たない fact16: 「御用意しない」ものがあるとするとこの掛かり方は身軽いかそれは迷い易い fact17: もし「迷い易くない」物はあるとしたら「この掛かり方は書き難くないかまたはそれは身軽い」ということは事実だ fact18: もし仮に「迷い易くない」物があるとしたらあのボーイフレンドは身軽くないかあるいは書き難いかあるいはどちらもだ fact19: あのボーイフレンドは身軽くないかまたは書き難いかもしくは両方だ ; $hypothesis$ = あのボーイフレンドは書き難い ; $proof$ = 
fact13 & fact7 -> int1: この掛かり方は身軽くないかあるいは迷い易いかもしくは両方である; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この掛かり方は身軽いかあるいは迷い易いかあるいはどちらもだ
事実2: 何かは御用意する
事実3: この掛かり方が身軽くないかあるいは迷い易いかどちらもだとしたらあのボーイフレンドは書き難くない
事実4: 「身軽い」ものはある
事実5: なんらかの物はすっごーいということはない
事実6: もし「身軽いということはない」物があるとすればあのボーイフレンドは書き難くないかもしくは迷い易いかあるいは両方である
事実7: もし仮に「「御用意する」ということは成り立たない」物があるとするとこの掛かり方は身軽くないかまたはそれは迷い易いかまたは両方ともだ
事実8: 「身軽くない」物があるとすればあの掛かり方は迷い易くないかもしくは書き難い
事実9: もしも「ある物は御用意するがしかし身軽くない」ということは成り立たないとすれば「書き難い」ということは確かだ
事実10: あのボーイフレンドが身軽いならこの掛かり方は書き難くない
事実11: あのボーイフレンドは書き難くないかあるいは実存的根幹であるかまたは両方ともだ
事実12: 「迷い易くない」物はある
事実13: ある物は御用意しない
事実14: この掛かり方は書き難くないかまたはそれは身軽い
事実15: 「この掛かり方は迷い易くてかつそれは御用意する」ということは成り立たない
事実16: 「御用意しない」ものがあるとするとこの掛かり方は身軽いかそれは迷い易い
事実17: もし「迷い易くない」物はあるとしたら「この掛かり方は書き難くないかまたはそれは身軽い」ということは事実だ
事実18: もし仮に「迷い易くない」物があるとしたらあのボーイフレンドは身軽くないかあるいは書き難いかあるいはどちらもだ
事実19: あのボーイフレンドは身軽くないかまたは書き難いかもしくは両方だ

仮説: あのボーイフレンドは書き難い
1. 事実13と事実7から、推論1: "この掛かり方は身軽くないかあるいは迷い易いかもしくは両方である"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。