その二シーズンは文筆家だ
fact1: その二シーズンはやばいし余所余所しい fact2: すべての物は形作る fact3: やばいものが形作るとすると文筆家でない
fact2 -> int1: その二シーズンは形作る; fact1 -> int2: 「その二シーズンはやばい」ということは成り立つ; int1 & int2 -> int3: その二シーズンはやばくて加えて形作る; fact3 -> int4: もしもその二シーズンはやばくておまけに形作るとすればそれは文筆家であるということはない; int3 & int4 -> hypothesis;
fact2 -> int1: {A}{aa}; fact1 -> int2: {B}{aa}; int1 & int2 -> int3: ({B}{aa} & {A}{aa}); fact3 -> int4: ({B}{aa} & {A}{aa}) -> ¬{C}{aa}; int3 & int4 -> hypothesis;
$facts$ = fact1: その二シーズンはやばいし余所余所しい fact2: すべての物は形作る fact3: やばいものが形作るとすると文筆家でない ; $hypothesis$ = その二シーズンは文筆家だ ; $proof$ = 
fact2 -> int1: その二シーズンは形作る; fact1 -> int2: 「その二シーズンはやばい」ということは成り立つ; int1 & int2 -> int3: その二シーズンはやばくて加えて形作る; fact3 -> int4: もしもその二シーズンはやばくておまけに形作るとすればそれは文筆家であるということはない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その二シーズンはやばいし余所余所しい
事実2: すべての物は形作る
事実3: やばいものが形作るとすると文筆家でない

仮説: その二シーズンは文筆家だ
1. 事実2から、推論1: "その二シーズンは形作る"が導かれる
2. 事実1から、推論2: "「その二シーズンはやばい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その二シーズンはやばくて加えて形作る"が導かれる
4. 事実3から、推論4: "もしもその二シーズンはやばくておまけに形作るとすればそれは文筆家であるということはない"が導かれる
5. 推論3と推論4から、仮説が否定される

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