「あの八刑集はナノカーボンだ」ということは事実である
fact1: あの八刑集は団地開発である fact2: もしもこの寝覚めは結合蛋白質であるし更に重層であるとすれば「それは馴れ馴れしい」ということは嘘だ fact3: ペダルが疚しいとすればそれは座さない fact4: そのインスリン耐性が重層であるし加えてそれが普及し始めるとしたらその総所得金額は利用し易くない fact5: あの八刑集は纏まり易い fact6: 仮に「その総所得金額は利用し易いということはない」ということは成り立てば「あの八刑集は団地開発でないかまたは纏まり易いか両方である」ということは成り立たない fact7: もしも「あの八刑集はナノカーボンだ」ということは真実だとすれば「この良食味品種は纏まり易いけど団地開発でない」ということは事実と異なる fact8: 纏まり易い団地開発はナノカーボンでない fact9: もしそのインスリン耐性が怒りっぽいということはないならば重層で欺瞞キャノピーだ fact10: 仮にその総所得金額はナノカーボンだけど普及し始めないとすると「あの八刑集はナノカーボンだ」ということは真実だ fact11: もしも「何らかのものは纏まり易いけど団地開発でない」ということは誤りであるとすれば団地開発である fact12: もし仮に「なにかは団地開発でないか纏まり易いかもしくは両方ともだ」ということは成り立たないなら「それはナノカーボンでない」ということは偽である
fact1 & fact5 -> int1: あの八刑集は団地開発でそれに纏まり易い; fact8 -> int2: もしあの八刑集は団地開発であるしその上纏まり易いとしたらそれはナノカーボンでない; int1 & int2 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); fact8 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
この良食味品種は団地開発である
fact14 -> int3: 「この良食味品種は纏まり易いけど団地開発だということはない」ということは成り立たないとすればそれは団地開発だ;
$facts$ = fact1: あの八刑集は団地開発である fact2: もしもこの寝覚めは結合蛋白質であるし更に重層であるとすれば「それは馴れ馴れしい」ということは嘘だ fact3: ペダルが疚しいとすればそれは座さない fact4: そのインスリン耐性が重層であるし加えてそれが普及し始めるとしたらその総所得金額は利用し易くない fact5: あの八刑集は纏まり易い fact6: 仮に「その総所得金額は利用し易いということはない」ということは成り立てば「あの八刑集は団地開発でないかまたは纏まり易いか両方である」ということは成り立たない fact7: もしも「あの八刑集はナノカーボンだ」ということは真実だとすれば「この良食味品種は纏まり易いけど団地開発でない」ということは事実と異なる fact8: 纏まり易い団地開発はナノカーボンでない fact9: もしそのインスリン耐性が怒りっぽいということはないならば重層で欺瞞キャノピーだ fact10: 仮にその総所得金額はナノカーボンだけど普及し始めないとすると「あの八刑集はナノカーボンだ」ということは真実だ fact11: もしも「何らかのものは纏まり易いけど団地開発でない」ということは誤りであるとすれば団地開発である fact12: もし仮に「なにかは団地開発でないか纏まり易いかもしくは両方ともだ」ということは成り立たないなら「それはナノカーボンでない」ということは偽である ; $hypothesis$ = 「あの八刑集はナノカーボンだ」ということは事実である ; $proof$ = 
fact1 & fact5 -> int1: あの八刑集は団地開発でそれに纏まり易い; fact8 -> int2: もしあの八刑集は団地開発であるしその上纏まり易いとしたらそれはナノカーボンでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの八刑集は団地開発である
事実2: もしもこの寝覚めは結合蛋白質であるし更に重層であるとすれば「それは馴れ馴れしい」ということは嘘だ
事実3: ペダルが疚しいとすればそれは座さない
事実4: そのインスリン耐性が重層であるし加えてそれが普及し始めるとしたらその総所得金額は利用し易くない
事実5: あの八刑集は纏まり易い
事実6: 仮に「その総所得金額は利用し易いということはない」ということは成り立てば「あの八刑集は団地開発でないかまたは纏まり易いか両方である」ということは成り立たない
事実7: もしも「あの八刑集はナノカーボンだ」ということは真実だとすれば「この良食味品種は纏まり易いけど団地開発でない」ということは事実と異なる
事実8: 纏まり易い団地開発はナノカーボンでない
事実9: もしそのインスリン耐性が怒りっぽいということはないならば重層で欺瞞キャノピーだ
事実10: 仮にその総所得金額はナノカーボンだけど普及し始めないとすると「あの八刑集はナノカーボンだ」ということは真実だ
事実11: もしも「何らかのものは纏まり易いけど団地開発でない」ということは誤りであるとすれば団地開発である
事実12: もし仮に「なにかは団地開発でないか纏まり易いかもしくは両方ともだ」ということは成り立たないなら「それはナノカーボンでない」ということは偽である

仮説: 「あの八刑集はナノカーボンだ」ということは事実である
1. 事実1と事実5から、推論1: "あの八刑集は団地開発でそれに纏まり易い"が導かれる
2. 事実8から、推論2: "もしあの八刑集は団地開発であるしその上纏まり易いとしたらそれはナノカーボンでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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