その有益性は注意する
fact1: 「六角でない」物はあれば「「その麻薬は暗黒でないし加えて狙われ易くない」ということは偽である」ということは成り立つ fact2: もしも「その麻薬は注意するということはないしそれは暗黒でない」ということは成り立たないとしたらその有益性は注意しない fact3: もし仮にあの水田農耕は引っ込めるとしたら「その有益性は注意する」ということは嘘でない fact4: もしも「「暗黒でないし狙われ易くない」ということは嘘である」物があるとしたらそのメインＪＳＰは忝くない fact5: 「六角でない」物はある fact6: もしあの水田農耕が忝いということはないとしたらその有益性は注意する fact7: もしも「そのメインＪＳＰは忝い」ということは成り立たないとするとあの水田農耕は引っ込めるかあるいは忝くないかまたはどちらもだ
fact5 & fact1 -> int1: 「その麻薬は暗黒でなくてそれにそれは狙われ易くない」ということは嘘である; int1 -> int2: 「「暗黒でないししかも狙われ易くない」ということは成り立つということはない」ものはある; int2 & fact4 -> int3: 「そのメインＪＳＰは忝くない」ということは事実だ; int3 & fact7 -> int4: あの水田農耕は引っ込めるかそれは忝くないか両方だ; int4 & fact3 & fact6 -> hypothesis;
その有益性は注意しない
$facts$ = fact1: 「六角でない」物はあれば「「その麻薬は暗黒でないし加えて狙われ易くない」ということは偽である」ということは成り立つ fact2: もしも「その麻薬は注意するということはないしそれは暗黒でない」ということは成り立たないとしたらその有益性は注意しない fact3: もし仮にあの水田農耕は引っ込めるとしたら「その有益性は注意する」ということは嘘でない fact4: もしも「「暗黒でないし狙われ易くない」ということは嘘である」物があるとしたらそのメインＪＳＰは忝くない fact5: 「六角でない」物はある fact6: もしあの水田農耕が忝いということはないとしたらその有益性は注意する fact7: もしも「そのメインＪＳＰは忝い」ということは成り立たないとするとあの水田農耕は引っ込めるかあるいは忝くないかまたはどちらもだ ; $hypothesis$ = その有益性は注意する ; $proof$ = 
fact5 & fact1 -> int1: 「その麻薬は暗黒でなくてそれにそれは狙われ易くない」ということは嘘である; int1 -> int2: 「「暗黒でないししかも狙われ易くない」ということは成り立つということはない」ものはある; int2 & fact4 -> int3: 「そのメインＪＳＰは忝くない」ということは事実だ; int3 & fact7 -> int4: あの水田農耕は引っ込めるかそれは忝くないか両方だ; int4 & fact3 & fact6 -> hypothesis; __PROVED__
事実1: 「六角でない」物はあれば「「その麻薬は暗黒でないし加えて狙われ易くない」ということは偽である」ということは成り立つ
事実2: もしも「その麻薬は注意するということはないしそれは暗黒でない」ということは成り立たないとしたらその有益性は注意しない
事実3: もし仮にあの水田農耕は引っ込めるとしたら「その有益性は注意する」ということは嘘でない
事実4: もしも「「暗黒でないし狙われ易くない」ということは嘘である」物があるとしたらそのメインＪＳＰは忝くない
事実5: 「六角でない」物はある
事実6: もしあの水田農耕が忝いということはないとしたらその有益性は注意する
事実7: もしも「そのメインＪＳＰは忝い」ということは成り立たないとするとあの水田農耕は引っ込めるかあるいは忝くないかまたはどちらもだ

仮説: その有益性は注意する
1. 事実5と事実1から、推論1: "「その麻薬は暗黒でなくてそれにそれは狙われ易くない」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「暗黒でないししかも狙われ易くない」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実4から、推論3: "「そのメインＪＳＰは忝くない」ということは事実だ"が導かれる
4. 推論3と事実7から、推論4: "あの水田農耕は引っ込めるかそれは忝くないか両方だ"が導かれる
5. 推論4と事実3と事実6から、仮説が導かれる

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