あの毎週評論は農村振興である
fact1: もし仮にこの基本ルールは目的無しないなら「あの毎週評論は目的無しかそれは政権下であるかあるいはどちらもだ」ということは真実でない fact2: 「あの指導・助言は吠えなくてかつ愛唱するということはない」ということは成り立たない fact3: もし「あの指導・助言は吠えなくてしかも愛唱するということはない」ということは嘘であるならこの基本ルールは目的無しない fact4: 「何かは目的無しかまたはそれは政権下であるかもしくは両方ともである」ということは成り立たないとすればそれは農村振興だということはない
fact3 & fact2 -> int1: この基本ルールは目的無しない; int1 & fact1 -> int2: 「あの毎週評論は目的無しかまたは政権下であるかあるいは両方ともだ」ということは成り立たない; fact4 -> int3: もし「「あの毎週評論は目的無しかあるいは政権下であるか両方だ」ということは事実だ」ということは偽であるならば農村振興でない; int2 & int3 -> hypothesis;
$facts$ = fact1: もし仮にこの基本ルールは目的無しないなら「あの毎週評論は目的無しかそれは政権下であるかあるいはどちらもだ」ということは真実でない fact2: 「あの指導・助言は吠えなくてかつ愛唱するということはない」ということは成り立たない fact3: もし「あの指導・助言は吠えなくてしかも愛唱するということはない」ということは嘘であるならこの基本ルールは目的無しない fact4: 「何かは目的無しかまたはそれは政権下であるかもしくは両方ともである」ということは成り立たないとすればそれは農村振興だということはない ; $hypothesis$ = あの毎週評論は農村振興である ; $proof$ = 
fact3 & fact2 -> int1: この基本ルールは目的無しない; int1 & fact1 -> int2: 「あの毎週評論は目的無しかまたは政権下であるかあるいは両方ともだ」ということは成り立たない; fact4 -> int3: もし「「あの毎週評論は目的無しかあるいは政権下であるか両方だ」ということは事実だ」ということは偽であるならば農村振興でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの基本ルールは目的無しないなら「あの毎週評論は目的無しかそれは政権下であるかあるいはどちらもだ」ということは真実でない
事実2: 「あの指導・助言は吠えなくてかつ愛唱するということはない」ということは成り立たない
事実3: もし「あの指導・助言は吠えなくてしかも愛唱するということはない」ということは嘘であるならこの基本ルールは目的無しない
事実4: 「何かは目的無しかまたはそれは政権下であるかもしくは両方ともである」ということは成り立たないとすればそれは農村振興だということはない

仮説: あの毎週評論は農村振興である
1. 事実3と事実2から、推論1: "この基本ルールは目的無しない"が導かれる
2. 推論1と事実1から、推論2: "「あの毎週評論は目的無しかまたは政権下であるかあるいは両方ともだ」ということは成り立たない"が導かれる
3. 事実4から、推論3: "もし「「あの毎週評論は目的無しかあるいは政権下であるか両方だ」ということは事実だ」ということは偽であるならば農村振興でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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