その事業年度開始は使い易くない
fact1: もし「とあるものは切れ易いということはないかまたは日本人らしいかあるいは両方だ」ということは事実でないとするとそれは使い易くない fact2: その版本は協定するということはない fact3: とあるものがしどけないとしたら熱し易くないしそれに養育方法である fact4: もし「何らかの物は切れ易いかそれは日本人らしいかもしくは両方ともである」ということは嘘であるならそれは使い易いということはない fact5: もし仮にその版本は協定しないとすれば「その事業年度開始は切れ易くないか日本人らしい」ということは誤っている fact6: あの臓器摘出は協定するということはない fact7: 「「その事業年度開始は切れ易いかまたは日本人らしいか両方である」ということは成り立たない」ということは本当であるとするとそれは使い易くない fact8: もしも「なにがしかのものは日本人らしいということはないかあるいは切れ易い」ということは本当でないならばそれは協定しない fact9: 仮にあの大聖人が九十八／九十八ＳＥであるとすればあの版本はしどけない fact10: もし仮にその版本が協定しないとすればあの事業年度開始は切れ易い
fact1 -> int1: もしも「その事業年度開始は切れ易いということはないかもしくは日本人らしいか両方だ」ということは嘘であるとすればそれは使い易いということはない; fact2 & fact5 -> int2: 「その事業年度開始は切れ易くないかあるいはそれは日本人らしい」ということは成り立たない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; fact2 & fact5 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int1 & int2 -> hypothesis;
その事業年度開始は使い易い
fact11 -> int3: もし仮にその版本がしどけないなら熱し易くないけど養育方法だ;
$facts$ = fact1: もし「とあるものは切れ易いということはないかまたは日本人らしいかあるいは両方だ」ということは事実でないとするとそれは使い易くない fact2: その版本は協定するということはない fact3: とあるものがしどけないとしたら熱し易くないしそれに養育方法である fact4: もし「何らかの物は切れ易いかそれは日本人らしいかもしくは両方ともである」ということは嘘であるならそれは使い易いということはない fact5: もし仮にその版本は協定しないとすれば「その事業年度開始は切れ易くないか日本人らしい」ということは誤っている fact6: あの臓器摘出は協定するということはない fact7: 「「その事業年度開始は切れ易いかまたは日本人らしいか両方である」ということは成り立たない」ということは本当であるとするとそれは使い易くない fact8: もしも「なにがしかのものは日本人らしいということはないかあるいは切れ易い」ということは本当でないならばそれは協定しない fact9: 仮にあの大聖人が九十八／九十八ＳＥであるとすればあの版本はしどけない fact10: もし仮にその版本が協定しないとすればあの事業年度開始は切れ易い ; $hypothesis$ = その事業年度開始は使い易くない ; $proof$ = 
fact1 -> int1: もしも「その事業年度開始は切れ易いということはないかもしくは日本人らしいか両方だ」ということは嘘であるとすればそれは使い易いということはない; fact2 & fact5 -> int2: 「その事業年度開始は切れ易くないかあるいはそれは日本人らしい」ということは成り立たない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「とあるものは切れ易いということはないかまたは日本人らしいかあるいは両方だ」ということは事実でないとするとそれは使い易くない
事実2: その版本は協定するということはない
事実3: とあるものがしどけないとしたら熱し易くないしそれに養育方法である
事実4: もし「何らかの物は切れ易いかそれは日本人らしいかもしくは両方ともである」ということは嘘であるならそれは使い易いということはない
事実5: もし仮にその版本は協定しないとすれば「その事業年度開始は切れ易くないか日本人らしい」ということは誤っている
事実6: あの臓器摘出は協定するということはない
事実7: 「「その事業年度開始は切れ易いかまたは日本人らしいか両方である」ということは成り立たない」ということは本当であるとするとそれは使い易くない
事実8: もしも「なにがしかのものは日本人らしいということはないかあるいは切れ易い」ということは本当でないならばそれは協定しない
事実9: 仮にあの大聖人が九十八／九十八ＳＥであるとすればあの版本はしどけない
事実10: もし仮にその版本が協定しないとすればあの事業年度開始は切れ易い

仮説: その事業年度開始は使い易くない
1. 事実1から、推論1: "もしも「その事業年度開始は切れ易いということはないかもしくは日本人らしいか両方だ」ということは嘘であるとすればそれは使い易いということはない"が導かれる
2. 事実2と事実5から、推論2: "「その事業年度開始は切れ易くないかあるいはそれは日本人らしい」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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