この転付命令は選択され易くない
fact1: もしこの能仁寺が演奏し始めるしさらに仕入れるとすればあの対称姿勢は求刑しない fact2: 「何らかのものは憎めるが気安くない」ということは成り立たないとすればそれは選択され易くない fact3: この能仁寺が聡くないならそれは演奏し始めるしさらにそれは仕入れる fact4: この半球状は痩せこけるし憎める fact5: もしも「この半球状は痩せこけるが選択され易くない」ということは成り立たないなら気安くない fact6: もし仮にこの転付命令が気安いとしたらこの半球状は憎めないかもしくはそれは痩せこけないかまたは両方ともだ fact7: もし仮にある物が求刑しないとするとそれは補体成分であるか気安いかまたはどちらもだ fact8: 「この半球状は選択され易いがしかし憎めない」ということは成り立たない fact9: もし仮に何らかの物が憎めないならそれは痩せこけない fact10: この半球状は選択され易いということはない fact11: もしもこの半球状は憎めるとすれば「この転付命令は憎めるけどそれは気安くない」ということは偽だ
fact4 -> int1: この半球状は憎める; int1 & fact11 -> int2: 「この転付命令は憎めるが気安くない」ということは誤っている; fact2 -> int3: 仮に「「この転付命令は憎める一方で気安いということはない」ということは成り立たない」ということは事実であるならば選択され易いということはない; int2 & int3 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact11 -> int2: ¬({B}{b} & ¬{D}{b}); fact2 -> int3: ¬({B}{b} & ¬{D}{b}) -> ¬{C}{b}; int2 & int3 -> hypothesis;
この外科的治療は選択され易くない
fact12 -> int4: もしもその対称姿勢が求刑するということはないとすればそれは補体成分であるかもしくはそれは気安い;
$facts$ = fact1: もしこの能仁寺が演奏し始めるしさらに仕入れるとすればあの対称姿勢は求刑しない fact2: 「何らかのものは憎めるが気安くない」ということは成り立たないとすればそれは選択され易くない fact3: この能仁寺が聡くないならそれは演奏し始めるしさらにそれは仕入れる fact4: この半球状は痩せこけるし憎める fact5: もしも「この半球状は痩せこけるが選択され易くない」ということは成り立たないなら気安くない fact6: もし仮にこの転付命令が気安いとしたらこの半球状は憎めないかもしくはそれは痩せこけないかまたは両方ともだ fact7: もし仮にある物が求刑しないとするとそれは補体成分であるか気安いかまたはどちらもだ fact8: 「この半球状は選択され易いがしかし憎めない」ということは成り立たない fact9: もし仮に何らかの物が憎めないならそれは痩せこけない fact10: この半球状は選択され易いということはない fact11: もしもこの半球状は憎めるとすれば「この転付命令は憎めるけどそれは気安くない」ということは偽だ ; $hypothesis$ = この転付命令は選択され易くない ; $proof$ = 
fact4 -> int1: この半球状は憎める; int1 & fact11 -> int2: 「この転付命令は憎めるが気安くない」ということは誤っている; fact2 -> int3: 仮に「「この転付命令は憎める一方で気安いということはない」ということは成り立たない」ということは事実であるならば選択され易いということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしこの能仁寺が演奏し始めるしさらに仕入れるとすればあの対称姿勢は求刑しない
事実2: 「何らかのものは憎めるが気安くない」ということは成り立たないとすればそれは選択され易くない
事実3: この能仁寺が聡くないならそれは演奏し始めるしさらにそれは仕入れる
事実4: この半球状は痩せこけるし憎める
事実5: もしも「この半球状は痩せこけるが選択され易くない」ということは成り立たないなら気安くない
事実6: もし仮にこの転付命令が気安いとしたらこの半球状は憎めないかもしくはそれは痩せこけないかまたは両方ともだ
事実7: もし仮にある物が求刑しないとするとそれは補体成分であるか気安いかまたはどちらもだ
事実8: 「この半球状は選択され易いがしかし憎めない」ということは成り立たない
事実9: もし仮に何らかの物が憎めないならそれは痩せこけない
事実10: この半球状は選択され易いということはない
事実11: もしもこの半球状は憎めるとすれば「この転付命令は憎めるけどそれは気安くない」ということは偽だ

仮説: この転付命令は選択され易くない
1. 事実4から、推論1: "この半球状は憎める"が導かれる
2. 推論1と事実11から、推論2: "「この転付命令は憎めるが気安くない」ということは誤っている"が導かれる
3. 事実2から、推論3: "仮に「「この転付命令は憎める一方で気安いということはない」ということは成り立たない」ということは事実であるならば選択され易いということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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