このチェコ人は実装出来る
fact1: もし仮に何らかのものが通勤出来ればむさくるしくない fact2: もし仮に「なんらかのものは掘削物でないしその上通勤出来ない」ということは偽だとすれば実装出来ない fact3: もしも「そのドーパミンは掘削物でない一方でそれは強要である」ということは成り立つということはないならばそれは通勤出来ない fact4: もしも「そのドーパミンはむさくるしいかあるいは三つ全てでないか両方だ」ということは偽だとするとそれは強要だ fact5: もしもそのドーパミンは強要だとすれば「このチェコ人は掘削物でないしおまけに通勤出来ない」ということは間違っている fact6: 仮に「そのドーパミンは掘削物でないけれどそれは強要である」ということは成り立たないならこのチェコ人は強要だということはない fact7: 「そのドーパミンはむさくるしいか三つ全てであるということはないかもしくは両方ともである」ということは成り立たない
fact4 & fact7 -> int1: そのドーパミンは強要だ; int1 & fact5 -> int2: 「このチェコ人は掘削物でないししかも通勤出来ない」ということは成り立たない; fact2 -> int3: もしも「このチェコ人は掘削物でないしまた通勤出来ない」ということは成り立たないとしたら実装出来ない; int2 & int3 -> hypothesis;
fact4 & fact7 -> int1: {B}{a}; int1 & fact5 -> int2: ¬(¬{C}{b} & ¬{A}{b}); fact2 -> int3: ¬(¬{C}{b} & ¬{A}{b}) -> ¬{D}{b}; int2 & int3 -> hypothesis;
「その御家騒動は実装出来なくて加えてそれは下気道感染でない」ということは偽だ
$facts$ = fact1: もし仮に何らかのものが通勤出来ればむさくるしくない fact2: もし仮に「なんらかのものは掘削物でないしその上通勤出来ない」ということは偽だとすれば実装出来ない fact3: もしも「そのドーパミンは掘削物でない一方でそれは強要である」ということは成り立つということはないならばそれは通勤出来ない fact4: もしも「そのドーパミンはむさくるしいかあるいは三つ全てでないか両方だ」ということは偽だとするとそれは強要だ fact5: もしもそのドーパミンは強要だとすれば「このチェコ人は掘削物でないしおまけに通勤出来ない」ということは間違っている fact6: 仮に「そのドーパミンは掘削物でないけれどそれは強要である」ということは成り立たないならこのチェコ人は強要だということはない fact7: 「そのドーパミンはむさくるしいか三つ全てであるということはないかもしくは両方ともである」ということは成り立たない ; $hypothesis$ = このチェコ人は実装出来る ; $proof$ = 
fact4 & fact7 -> int1: そのドーパミンは強要だ; int1 & fact5 -> int2: 「このチェコ人は掘削物でないししかも通勤出来ない」ということは成り立たない; fact2 -> int3: もしも「このチェコ人は掘削物でないしまた通勤出来ない」ということは成り立たないとしたら実装出来ない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものが通勤出来ればむさくるしくない
事実2: もし仮に「なんらかのものは掘削物でないしその上通勤出来ない」ということは偽だとすれば実装出来ない
事実3: もしも「そのドーパミンは掘削物でない一方でそれは強要である」ということは成り立つということはないならばそれは通勤出来ない
事実4: もしも「そのドーパミンはむさくるしいかあるいは三つ全てでないか両方だ」ということは偽だとするとそれは強要だ
事実5: もしもそのドーパミンは強要だとすれば「このチェコ人は掘削物でないしおまけに通勤出来ない」ということは間違っている
事実6: 仮に「そのドーパミンは掘削物でないけれどそれは強要である」ということは成り立たないならこのチェコ人は強要だということはない
事実7: 「そのドーパミンはむさくるしいか三つ全てであるということはないかもしくは両方ともである」ということは成り立たない

仮説: このチェコ人は実装出来る
1. 事実4と事実7から、推論1: "そのドーパミンは強要だ"が導かれる
2. 推論1と事実5から、推論2: "「このチェコ人は掘削物でないししかも通勤出来ない」ということは成り立たない"が導かれる
3. 事実2から、推論3: "もしも「このチェコ人は掘削物でないしまた通勤出来ない」ということは成り立たないとしたら実装出来ない"が導かれる
4. 推論2と推論3から、仮説が否定される

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