「この水草レイアウトはとろ臭くて加えて足利幕府だ」ということは誤っている
fact1: このスクレーパは千九百五十年代半ばである fact2: 仮に「なんらかの物は無くさくないけれどＳＰＥだ」ということは誤りだとすればＳＰＥでない fact3: 「この水草レイアウトは天然ガスでない」ということは正しい fact4: この生活扶助は浸潤するかまたはそれは鑑賞し易い fact5: 仮にこの生活扶助が浸潤するとすればその位置関係は鑑賞し易い fact6: もしもこの生活扶助が鑑賞し易いならその位置関係は鑑賞し易い fact7: もしこの水草レイアウトは天然ガスでないしそれにＳＰＥであるということはないならそれはとろ臭い fact8: もし仮にとあるものが尿テストであるしかつそれが鑑賞し易いならばこの水草レイアウトは足利幕府だ fact9: このスクレーパが千九百五十年代半ばであるとしたらその位置関係は尿テストだ fact10: 「銘記する」物はある fact11: 「この水草レイアウトは無くすということはない一方でＳＰＥだ」ということは真実であるということはない fact12: このスクレーパは千九百五十年代半ばでないなら「「この水草レイアウトはとろ臭いしかつ足利幕府だ」ということは間違いだ」ということは正しい fact13: もしあるものは尿テストでないならば「鑑賞し易くておまけに千九百五十年代半ばである」ということは偽である
fact9 & fact1 -> int1: その位置関係は尿テストだ; fact6 & fact5 & fact4 -> int2: その位置関係は鑑賞し易い; int1 & int2 -> int3: その位置関係は尿テストでそれは鑑賞し易い; int3 -> int4: なにかは尿テストであるしさらに鑑賞し易い; int4 & fact8 -> int5: この水草レイアウトは足利幕府だ; fact2 -> int6: 仮に「「この水草レイアウトは無くさくない一方でそれはＳＰＥである」ということは成り立たない」ということは確かであるとしたらＳＰＥでない; int6 & fact11 -> int7: この水草レイアウトはＳＰＥだということはない; int7 & fact3 -> int8: この水草レイアウトは天然ガスでないし加えてＳＰＥでない; fact7 & int8 -> int9: この水草レイアウトはとろ臭い; int5 & int9 -> hypothesis;
「この水草レイアウトはとろ臭くて足利幕府だ」ということは事実と異なる
fact14 -> int10: もしも「その位置関係は尿テストでない」ということは確かであるとしたら「それは鑑賞し易いししかも千九百五十年代半ばだ」ということは間違っている;
$facts$ = fact1: このスクレーパは千九百五十年代半ばである fact2: 仮に「なんらかの物は無くさくないけれどＳＰＥだ」ということは誤りだとすればＳＰＥでない fact3: 「この水草レイアウトは天然ガスでない」ということは正しい fact4: この生活扶助は浸潤するかまたはそれは鑑賞し易い fact5: 仮にこの生活扶助が浸潤するとすればその位置関係は鑑賞し易い fact6: もしもこの生活扶助が鑑賞し易いならその位置関係は鑑賞し易い fact7: もしこの水草レイアウトは天然ガスでないしそれにＳＰＥであるということはないならそれはとろ臭い fact8: もし仮にとあるものが尿テストであるしかつそれが鑑賞し易いならばこの水草レイアウトは足利幕府だ fact9: このスクレーパが千九百五十年代半ばであるとしたらその位置関係は尿テストだ fact10: 「銘記する」物はある fact11: 「この水草レイアウトは無くすということはない一方でＳＰＥだ」ということは真実であるということはない fact12: このスクレーパは千九百五十年代半ばでないなら「「この水草レイアウトはとろ臭いしかつ足利幕府だ」ということは間違いだ」ということは正しい fact13: もしあるものは尿テストでないならば「鑑賞し易くておまけに千九百五十年代半ばである」ということは偽である ; $hypothesis$ = 「この水草レイアウトはとろ臭くて加えて足利幕府だ」ということは誤っている ; $proof$ = 
fact9 & fact1 -> int1: その位置関係は尿テストだ; fact6 & fact5 & fact4 -> int2: その位置関係は鑑賞し易い; int1 & int2 -> int3: その位置関係は尿テストでそれは鑑賞し易い; int3 -> int4: なにかは尿テストであるしさらに鑑賞し易い; int4 & fact8 -> int5: この水草レイアウトは足利幕府だ; fact2 -> int6: 仮に「「この水草レイアウトは無くさくない一方でそれはＳＰＥである」ということは成り立たない」ということは確かであるとしたらＳＰＥでない; int6 & fact11 -> int7: この水草レイアウトはＳＰＥだということはない; int7 & fact3 -> int8: この水草レイアウトは天然ガスでないし加えてＳＰＥでない; fact7 & int8 -> int9: この水草レイアウトはとろ臭い; int5 & int9 -> hypothesis; __DISPROVED__
事実1: このスクレーパは千九百五十年代半ばである
事実2: 仮に「なんらかの物は無くさくないけれどＳＰＥだ」ということは誤りだとすればＳＰＥでない
事実3: 「この水草レイアウトは天然ガスでない」ということは正しい
事実4: この生活扶助は浸潤するかまたはそれは鑑賞し易い
事実5: 仮にこの生活扶助が浸潤するとすればその位置関係は鑑賞し易い
事実6: もしもこの生活扶助が鑑賞し易いならその位置関係は鑑賞し易い
事実7: もしこの水草レイアウトは天然ガスでないしそれにＳＰＥであるということはないならそれはとろ臭い
事実8: もし仮にとあるものが尿テストであるしかつそれが鑑賞し易いならばこの水草レイアウトは足利幕府だ
事実9: このスクレーパが千九百五十年代半ばであるとしたらその位置関係は尿テストだ
事実10: 「銘記する」物はある
事実11: 「この水草レイアウトは無くすということはない一方でＳＰＥだ」ということは真実であるということはない
事実12: このスクレーパは千九百五十年代半ばでないなら「「この水草レイアウトはとろ臭いしかつ足利幕府だ」ということは間違いだ」ということは正しい
事実13: もしあるものは尿テストでないならば「鑑賞し易くておまけに千九百五十年代半ばである」ということは偽である

仮説: 「この水草レイアウトはとろ臭くて加えて足利幕府だ」ということは誤っている
1. 事実9と事実1から、推論1: "その位置関係は尿テストだ"が導かれる
2. 事実6と事実5と事実4から、推論2: "その位置関係は鑑賞し易い"が導かれる
3. 推論1と推論2から、推論3: "その位置関係は尿テストでそれは鑑賞し易い"が導かれる
4. 推論3から、推論4: "なにかは尿テストであるしさらに鑑賞し易い"が導かれる
5. 推論4と事実8から、推論5: "この水草レイアウトは足利幕府だ"が導かれる
6. 事実2から、推論6: "仮に「「この水草レイアウトは無くさくない一方でそれはＳＰＥである」ということは成り立たない」ということは確かであるとしたらＳＰＥでない"が導かれる
7. 推論6と事実11から、推論7: "この水草レイアウトはＳＰＥだということはない"が導かれる
8. 推論7と事実3から、推論8: "この水草レイアウトは天然ガスでないし加えてＳＰＥでない"が導かれる
9. 事実7と推論8から、推論9: "この水草レイアウトはとろ臭い"が導かれる
10. 推論5と推論9から、仮説が否定される

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