あのスウィッチは百姓らしくない
fact1: もしあのパルス出力は解決出来ないとしたら「それは迷い易いということはないしまた百姓らしくない」ということは間違いである fact2: 「あのスウィッチは名状し難くないけどＬＺＨである」ということは誤りだ fact3: もしも「何かは注文しないしさらにそれは隠棲でない」ということは成り立たないとすれば百姓らしい fact4: 「その集中困難はもどかしくないがしかしそれは隠棲だ」ということは成り立たない fact5: 「あのスウィッチは引き難くないけどＮＰＶだ」ということは間違いである fact6: 「あのスウィッチは注文しないけど隠棲だ」ということは間違っている fact7: もしあのスウィッチは秋めかないとすれば「「それは注文しなくて隠棲でない」ということは真実である」ということは偽である fact8: もしもそのやんまが立件出来るし秋めくならあのスウィッチは百姓らしいということはない fact9: その大同製鋼は秋めかない fact10: 「あのスウィッチは咲き広がらない」ということは誤りでない fact11: あのスウィッチは秋めかない
fact3 -> int1: もし仮に「あのスウィッチは注文しないしそれは隠棲でない」ということは事実と異なるとすればそれは百姓らしい; fact7 & fact11 -> int2: 「「あのスウィッチが注文するということはないしさらに隠棲でない」ということは正しい」ということは本当でない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact7 & fact11 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
あのスウィッチは百姓らしくない
$facts$ = fact1: もしあのパルス出力は解決出来ないとしたら「それは迷い易いということはないしまた百姓らしくない」ということは間違いである fact2: 「あのスウィッチは名状し難くないけどＬＺＨである」ということは誤りだ fact3: もしも「何かは注文しないしさらにそれは隠棲でない」ということは成り立たないとすれば百姓らしい fact4: 「その集中困難はもどかしくないがしかしそれは隠棲だ」ということは成り立たない fact5: 「あのスウィッチは引き難くないけどＮＰＶだ」ということは間違いである fact6: 「あのスウィッチは注文しないけど隠棲だ」ということは間違っている fact7: もしあのスウィッチは秋めかないとすれば「「それは注文しなくて隠棲でない」ということは真実である」ということは偽である fact8: もしもそのやんまが立件出来るし秋めくならあのスウィッチは百姓らしいということはない fact9: その大同製鋼は秋めかない fact10: 「あのスウィッチは咲き広がらない」ということは誤りでない fact11: あのスウィッチは秋めかない ; $hypothesis$ = あのスウィッチは百姓らしくない ; $proof$ = 
fact3 -> int1: もし仮に「あのスウィッチは注文しないしそれは隠棲でない」ということは事実と異なるとすればそれは百姓らしい; fact7 & fact11 -> int2: 「「あのスウィッチが注文するということはないしさらに隠棲でない」ということは正しい」ということは本当でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしあのパルス出力は解決出来ないとしたら「それは迷い易いということはないしまた百姓らしくない」ということは間違いである
事実2: 「あのスウィッチは名状し難くないけどＬＺＨである」ということは誤りだ
事実3: もしも「何かは注文しないしさらにそれは隠棲でない」ということは成り立たないとすれば百姓らしい
事実4: 「その集中困難はもどかしくないがしかしそれは隠棲だ」ということは成り立たない
事実5: 「あのスウィッチは引き難くないけどＮＰＶだ」ということは間違いである
事実6: 「あのスウィッチは注文しないけど隠棲だ」ということは間違っている
事実7: もしあのスウィッチは秋めかないとすれば「「それは注文しなくて隠棲でない」ということは真実である」ということは偽である
事実8: もしもそのやんまが立件出来るし秋めくならあのスウィッチは百姓らしいということはない
事実9: その大同製鋼は秋めかない
事実10: 「あのスウィッチは咲き広がらない」ということは誤りでない
事実11: あのスウィッチは秋めかない

仮説: あのスウィッチは百姓らしくない
1. 事実3から、推論1: "もし仮に「あのスウィッチは注文しないしそれは隠棲でない」ということは事実と異なるとすればそれは百姓らしい"が導かれる
2. 事実7と事実11から、推論2: "「「あのスウィッチが注文するということはないしさらに隠棲でない」ということは正しい」ということは本当でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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