「「リサイクル出来るし面白い」物はある」ということは嘘である
fact1: この本陣跡は来易い fact2: 「リサイクル出来る」物はある fact3: あるものは面白い fact4: この本陣跡は慈愛深いとすると「それは働き得る」ということは成り立つ fact5: もし仮にこの漏出が来易いとしたらその広葉雑草は来易い fact6: もしもこの本陣跡が来易いならその広葉雑草は口煩い fact7: その広葉雑草は来易い fact8: その広葉雑草は物狂おしいしかつ苛々し易い fact9: もしも「その広葉雑草は物狂おしい」ということは正しいならば面白い fact10: 仮にその広葉雑草が口煩いとするとリサイクル出来る fact11: その広葉雑草は苛々し易い fact12: 仮にその広葉雑草が来易いとしたらこのメツカ巡礼は来易い
fact6 & fact1 -> int1: その広葉雑草は口煩い; int1 & fact10 -> int2: その広葉雑草はリサイクル出来る; fact8 -> int3: 「その広葉雑草は物狂おしい」ということは誤りでない; fact9 & int3 -> int4: その広葉雑草は面白い; int2 & int4 -> int5: その広葉雑草はリサイクル出来るしそれは面白い; int5 -> hypothesis;
このメツカ巡礼は来易くてそれは壊れ掛かる
$facts$ = fact1: この本陣跡は来易い fact2: 「リサイクル出来る」物はある fact3: あるものは面白い fact4: この本陣跡は慈愛深いとすると「それは働き得る」ということは成り立つ fact5: もし仮にこの漏出が来易いとしたらその広葉雑草は来易い fact6: もしもこの本陣跡が来易いならその広葉雑草は口煩い fact7: その広葉雑草は来易い fact8: その広葉雑草は物狂おしいしかつ苛々し易い fact9: もしも「その広葉雑草は物狂おしい」ということは正しいならば面白い fact10: 仮にその広葉雑草が口煩いとするとリサイクル出来る fact11: その広葉雑草は苛々し易い fact12: 仮にその広葉雑草が来易いとしたらこのメツカ巡礼は来易い ; $hypothesis$ = 「「リサイクル出来るし面白い」物はある」ということは嘘である ; $proof$ = 
fact6 & fact1 -> int1: その広葉雑草は口煩い; int1 & fact10 -> int2: その広葉雑草はリサイクル出来る; fact8 -> int3: 「その広葉雑草は物狂おしい」ということは誤りでない; fact9 & int3 -> int4: その広葉雑草は面白い; int2 & int4 -> int5: その広葉雑草はリサイクル出来るしそれは面白い; int5 -> hypothesis; __DISPROVED__
事実1: この本陣跡は来易い
事実2: 「リサイクル出来る」物はある
事実3: あるものは面白い
事実4: この本陣跡は慈愛深いとすると「それは働き得る」ということは成り立つ
事実5: もし仮にこの漏出が来易いとしたらその広葉雑草は来易い
事実6: もしもこの本陣跡が来易いならその広葉雑草は口煩い
事実7: その広葉雑草は来易い
事実8: その広葉雑草は物狂おしいしかつ苛々し易い
事実9: もしも「その広葉雑草は物狂おしい」ということは正しいならば面白い
事実10: 仮にその広葉雑草が口煩いとするとリサイクル出来る
事実11: その広葉雑草は苛々し易い
事実12: 仮にその広葉雑草が来易いとしたらこのメツカ巡礼は来易い

仮説: 「「リサイクル出来るし面白い」物はある」ということは嘘である
1. 事実6と事実1から、推論1: "その広葉雑草は口煩い"が導かれる
2. 推論1と事実10から、推論2: "その広葉雑草はリサイクル出来る"が導かれる
3. 事実8から、推論3: "「その広葉雑草は物狂おしい」ということは誤りでない"が導かれる
4. 事実9と推論3から、推論4: "その広葉雑草は面白い"が導かれる
5. 推論2と推論4から、推論5: "その広葉雑草はリサイクル出来るしそれは面白い"が導かれる
6. 推論5から、仮説が否定される

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