あの転がり具合は紛失しない
fact1: もし仮にある物はボイコットでないなら「それは真っ白くないしおまけに時期区分でない」ということは成り立たない fact2: あの転がり具合は真っ白い fact3: 仮に「あの転がり具合はアメリカ製でないかあるいは繰り込むかまたは両方ともである」ということは真実なら賑々しい fact4: もしあの転がり具合が埃っぽいとすればそれはアメリカ製でない fact5: もしも「あの転がり具合は埃っぽいということはないしそれはボイコットでない」ということは間違いであるとするとアメリカ製であるということはない fact6: もしもあのパジェロイオがアメリカ製でないとすればあの転がり具合はボイコットであるということはないし埃っぽくない fact7: もし仮にあの転がり具合は時期区分でないなら「埃っぽくないししかもボイコットだということはない」ということは誤りだ fact8: もし仮にあの転がり具合が真っ白いならそれは時期区分でない fact9: あの転がり具合は賑々しいとすれば「紛失する」ということは本当である
fact8 & fact2 -> int1: あの転がり具合は時期区分でない; int1 & fact7 -> int2: 「あの転がり具合は埃っぽくないし加えてボイコットでない」ということは誤っている; int2 & fact5 -> int3: あの転がり具合はアメリカ製でない; int3 -> int4: あの転がり具合はアメリカ製でないかあるいはそれは繰り込む; int4 & fact3 -> int5: あの転がり具合は賑々しい; int5 & fact9 -> hypothesis;
そのエーロゾル濃度は賑々しい
fact11 -> int6: もし仮にあの転がり具合はボイコットでないとすれば「それは真っ白くないし時期区分だということはない」ということは偽である;
$facts$ = fact1: もし仮にある物はボイコットでないなら「それは真っ白くないしおまけに時期区分でない」ということは成り立たない fact2: あの転がり具合は真っ白い fact3: 仮に「あの転がり具合はアメリカ製でないかあるいは繰り込むかまたは両方ともである」ということは真実なら賑々しい fact4: もしあの転がり具合が埃っぽいとすればそれはアメリカ製でない fact5: もしも「あの転がり具合は埃っぽいということはないしそれはボイコットでない」ということは間違いであるとするとアメリカ製であるということはない fact6: もしもあのパジェロイオがアメリカ製でないとすればあの転がり具合はボイコットであるということはないし埃っぽくない fact7: もし仮にあの転がり具合は時期区分でないなら「埃っぽくないししかもボイコットだということはない」ということは誤りだ fact8: もし仮にあの転がり具合が真っ白いならそれは時期区分でない fact9: あの転がり具合は賑々しいとすれば「紛失する」ということは本当である ; $hypothesis$ = あの転がり具合は紛失しない ; $proof$ = 
fact8 & fact2 -> int1: あの転がり具合は時期区分でない; int1 & fact7 -> int2: 「あの転がり具合は埃っぽくないし加えてボイコットでない」ということは誤っている; int2 & fact5 -> int3: あの転がり具合はアメリカ製でない; int3 -> int4: あの転がり具合はアメリカ製でないかあるいはそれは繰り込む; int4 & fact3 -> int5: あの転がり具合は賑々しい; int5 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮にある物はボイコットでないなら「それは真っ白くないしおまけに時期区分でない」ということは成り立たない
事実2: あの転がり具合は真っ白い
事実3: 仮に「あの転がり具合はアメリカ製でないかあるいは繰り込むかまたは両方ともである」ということは真実なら賑々しい
事実4: もしあの転がり具合が埃っぽいとすればそれはアメリカ製でない
事実5: もしも「あの転がり具合は埃っぽいということはないしそれはボイコットでない」ということは間違いであるとするとアメリカ製であるということはない
事実6: もしもあのパジェロイオがアメリカ製でないとすればあの転がり具合はボイコットであるということはないし埃っぽくない
事実7: もし仮にあの転がり具合は時期区分でないなら「埃っぽくないししかもボイコットだということはない」ということは誤りだ
事実8: もし仮にあの転がり具合が真っ白いならそれは時期区分でない
事実9: あの転がり具合は賑々しいとすれば「紛失する」ということは本当である

仮説: あの転がり具合は紛失しない
1. 事実8と事実2から、推論1: "あの転がり具合は時期区分でない"が導かれる
2. 推論1と事実7から、推論2: "「あの転がり具合は埃っぽくないし加えてボイコットでない」ということは誤っている"が導かれる
3. 推論2と事実5から、推論3: "あの転がり具合はアメリカ製でない"が導かれる
4. 推論3から、推論4: "あの転がり具合はアメリカ製でないかあるいはそれは繰り込む"が導かれる
5. 推論4と事実3から、推論5: "あの転がり具合は賑々しい"が導かれる
6. 推論5と事実9から、仮説が否定される

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