この受信機は俺達剽軽族でない
fact1: もしもこの瑣末はカバーすなら「それは拝見致す」ということは真実だ fact2: この瑣末は高泌乳牛であるということはない fact3: 「出為さる」物はある fact4: この瑣末は出為さらない fact5: 「何らかの物は出為さらない」ということは成り立つ fact6: 「カバーすらないしその上天然温泉な」ものはある fact7: もし「出為さらなくて拝見致す」物があるとすればこの受信機は俺達剽軽族でない fact8: この瑣末は天然温泉であるしおまけに優先株式だ fact9: もしこの瑣末が天然温泉でないならこの受信機は俺達剽軽族である fact10: もし仮にこの瑣末が天然温泉ならカバーす fact11: 「拝見致す」物はある
fact8 -> int1: この瑣末は天然温泉である; int1 & fact10 -> int2: この瑣末はカバーす; int2 & fact1 -> int3: この瑣末は拝見致す; int3 & fact4 -> int4: この瑣末は出為さらない一方で拝見致す; int4 -> int5: とある物は出為さらない一方でそれは拝見致す; int5 & fact7 -> hypothesis;
この受信機は俺達剽軽族だ
$facts$ = fact1: もしもこの瑣末はカバーすなら「それは拝見致す」ということは真実だ fact2: この瑣末は高泌乳牛であるということはない fact3: 「出為さる」物はある fact4: この瑣末は出為さらない fact5: 「何らかの物は出為さらない」ということは成り立つ fact6: 「カバーすらないしその上天然温泉な」ものはある fact7: もし「出為さらなくて拝見致す」物があるとすればこの受信機は俺達剽軽族でない fact8: この瑣末は天然温泉であるしおまけに優先株式だ fact9: もしこの瑣末が天然温泉でないならこの受信機は俺達剽軽族である fact10: もし仮にこの瑣末が天然温泉ならカバーす fact11: 「拝見致す」物はある ; $hypothesis$ = この受信機は俺達剽軽族でない ; $proof$ = 
fact8 -> int1: この瑣末は天然温泉である; int1 & fact10 -> int2: この瑣末はカバーす; int2 & fact1 -> int3: この瑣末は拝見致す; int3 & fact4 -> int4: この瑣末は出為さらない一方で拝見致す; int4 -> int5: とある物は出為さらない一方でそれは拝見致す; int5 & fact7 -> hypothesis; __PROVED__
事実1: もしもこの瑣末はカバーすなら「それは拝見致す」ということは真実だ
事実2: この瑣末は高泌乳牛であるということはない
事実3: 「出為さる」物はある
事実4: この瑣末は出為さらない
事実5: 「何らかの物は出為さらない」ということは成り立つ
事実6: 「カバーすらないしその上天然温泉な」ものはある
事実7: もし「出為さらなくて拝見致す」物があるとすればこの受信機は俺達剽軽族でない
事実8: この瑣末は天然温泉であるしおまけに優先株式だ
事実9: もしこの瑣末が天然温泉でないならこの受信機は俺達剽軽族である
事実10: もし仮にこの瑣末が天然温泉ならカバーす
事実11: 「拝見致す」物はある

仮説: この受信機は俺達剽軽族でない
1. 事実8から、推論1: "この瑣末は天然温泉である"が導かれる
2. 推論1と事実10から、推論2: "この瑣末はカバーす"が導かれる
3. 推論2と事実1から、推論3: "この瑣末は拝見致す"が導かれる
4. 推論3と事実4から、推論4: "この瑣末は出為さらない一方で拝見致す"が導かれる
5. 推論4から、推論5: "とある物は出為さらない一方でそれは拝見致す"が導かれる
6. 推論5と事実7から、仮説が導かれる

よって、仮説が証明されました。