その第五クラスタは罪深いということはない
fact1: もし仮にその第五クラスタは生産可能性フロンティア上でないとしたら「包埋するけれど見え難くない」ということは誤りだ fact2: もしもその第五クラスタは唐副長でないとすると「決断するしおまけにそれは半壊するということはない」ということは成り立たない fact3: その第五クラスタは生産可能性フロンティア上であるということはないならば「包埋しないし加えてそれは見え難くない」ということは成り立たない fact4: もし仮に何らかのものは唐副長であるならば罪深い fact5: 「その読書週間は見え難いけれどそれは曇り無しない」ということは成り立たない fact6: もし仮に「なんらかの物は包埋しなくて見え難くない」ということは事実と異なるとするとそれは唐副長だ fact7: その第五クラスタは生産可能性フロンティア上でない fact8: もしその第五クラスタが包埋するとしたら唐副長である
fact6 -> int1: もし「その第五クラスタは包埋しないしその上見え難くない」ということは嘘ならば唐副長だ; fact7 & fact3 -> int2: 「その第五クラスタは包埋しなくておまけに見え難くない」ということは誤っている; int1 & int2 -> int3: その第五クラスタは唐副長である; fact4 -> int4: その第五クラスタは唐副長であるならばそれは罪深い; int3 & int4 -> hypothesis;
$facts$ = fact1: もし仮にその第五クラスタは生産可能性フロンティア上でないとしたら「包埋するけれど見え難くない」ということは誤りだ fact2: もしもその第五クラスタは唐副長でないとすると「決断するしおまけにそれは半壊するということはない」ということは成り立たない fact3: その第五クラスタは生産可能性フロンティア上であるということはないならば「包埋しないし加えてそれは見え難くない」ということは成り立たない fact4: もし仮に何らかのものは唐副長であるならば罪深い fact5: 「その読書週間は見え難いけれどそれは曇り無しない」ということは成り立たない fact6: もし仮に「なんらかの物は包埋しなくて見え難くない」ということは事実と異なるとするとそれは唐副長だ fact7: その第五クラスタは生産可能性フロンティア上でない fact8: もしその第五クラスタが包埋するとしたら唐副長である ; $hypothesis$ = その第五クラスタは罪深いということはない ; $proof$ = 
fact6 -> int1: もし「その第五クラスタは包埋しないしその上見え難くない」ということは嘘ならば唐副長だ; fact7 & fact3 -> int2: 「その第五クラスタは包埋しなくておまけに見え難くない」ということは誤っている; int1 & int2 -> int3: その第五クラスタは唐副長である; fact4 -> int4: その第五クラスタは唐副長であるならばそれは罪深い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にその第五クラスタは生産可能性フロンティア上でないとしたら「包埋するけれど見え難くない」ということは誤りだ
事実2: もしもその第五クラスタは唐副長でないとすると「決断するしおまけにそれは半壊するということはない」ということは成り立たない
事実3: その第五クラスタは生産可能性フロンティア上であるということはないならば「包埋しないし加えてそれは見え難くない」ということは成り立たない
事実4: もし仮に何らかのものは唐副長であるならば罪深い
事実5: 「その読書週間は見え難いけれどそれは曇り無しない」ということは成り立たない
事実6: もし仮に「なんらかの物は包埋しなくて見え難くない」ということは事実と異なるとするとそれは唐副長だ
事実7: その第五クラスタは生産可能性フロンティア上でない
事実8: もしその第五クラスタが包埋するとしたら唐副長である

仮説: その第五クラスタは罪深いということはない
1. 事実6から、推論1: "もし「その第五クラスタは包埋しないしその上見え難くない」ということは嘘ならば唐副長だ"が導かれる
2. 事実7と事実3から、推論2: "「その第五クラスタは包埋しなくておまけに見え難くない」ということは誤っている"が導かれる
3. 推論1と推論2から、推論3: "その第五クラスタは唐副長である"が導かれる
4. 事実4から、推論4: "その第五クラスタは唐副長であるならばそれは罪深い"が導かれる
5. 推論3と推論4から、仮説が否定される

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