「なんらかのものはしょぼいがしかしそれは忘れっぽくない」ということは誤りだ
fact1: 「しょぼくてそれに忘れっぽい」ものはある fact2: もしこの設計施工一括がしょぼいならこの実行前は古臭いが忘れっぽくない fact3: この設計施工一括は古臭い fact4: その御出来は仕方無いけどしょぼくない fact5: この実行前はしょぼい fact6: この実行前は非巣だけれど懐中しない fact7: この実行前は使い熟す fact8: 「しょぼい」物はある fact9: 「忘れっぽくない」物はある fact10: この世帯主年齢は忘れっぽい fact11: もし仮にこの設計施工一括が古臭いとするとこの実行前はしょぼい fact12: この実行前は各疾患で穿かす fact13: もし仮にこの設計施工一括が古臭いならばあの実行前はしょぼい一方で忘れっぽくない fact14: 仮にあるものが古臭いとすれば忘れっぽい fact15: もし仮に「この実行前は古臭くない」ということは事実ならば「この設計施工一括は群生するがしかしそれは形成し易くない」ということは誤りでない
fact13 & fact3 -> int1: この実行前はしょぼいけど忘れっぽいということはない; int1 -> hypothesis;
このポピーは忘れっぽい
fact17 -> int2: もし仮にこのポピーが古臭いとすると忘れっぽい; fact16 -> int3: この実行前は各疾患である; int3 -> int4: 「各疾患な」物はある;
$facts$ = fact1: 「しょぼくてそれに忘れっぽい」ものはある fact2: もしこの設計施工一括がしょぼいならこの実行前は古臭いが忘れっぽくない fact3: この設計施工一括は古臭い fact4: その御出来は仕方無いけどしょぼくない fact5: この実行前はしょぼい fact6: この実行前は非巣だけれど懐中しない fact7: この実行前は使い熟す fact8: 「しょぼい」物はある fact9: 「忘れっぽくない」物はある fact10: この世帯主年齢は忘れっぽい fact11: もし仮にこの設計施工一括が古臭いとするとこの実行前はしょぼい fact12: この実行前は各疾患で穿かす fact13: もし仮にこの設計施工一括が古臭いならばあの実行前はしょぼい一方で忘れっぽくない fact14: 仮にあるものが古臭いとすれば忘れっぽい fact15: もし仮に「この実行前は古臭くない」ということは事実ならば「この設計施工一括は群生するがしかしそれは形成し易くない」ということは誤りでない ; $hypothesis$ = 「なんらかのものはしょぼいがしかしそれは忘れっぽくない」ということは誤りだ ; $proof$ = 
fact13 & fact3 -> int1: この実行前はしょぼいけど忘れっぽいということはない; int1 -> hypothesis; __DISPROVED__
事実1: 「しょぼくてそれに忘れっぽい」ものはある
事実2: もしこの設計施工一括がしょぼいならこの実行前は古臭いが忘れっぽくない
事実3: この設計施工一括は古臭い
事実4: その御出来は仕方無いけどしょぼくない
事実5: この実行前はしょぼい
事実6: この実行前は非巣だけれど懐中しない
事実7: この実行前は使い熟す
事実8: 「しょぼい」物はある
事実9: 「忘れっぽくない」物はある
事実10: この世帯主年齢は忘れっぽい
事実11: もし仮にこの設計施工一括が古臭いとするとこの実行前はしょぼい
事実12: この実行前は各疾患で穿かす
事実13: もし仮にこの設計施工一括が古臭いならばあの実行前はしょぼい一方で忘れっぽくない
事実14: 仮にあるものが古臭いとすれば忘れっぽい
事実15: もし仮に「この実行前は古臭くない」ということは事実ならば「この設計施工一括は群生するがしかしそれは形成し易くない」ということは誤りでない

仮説: 「なんらかのものはしょぼいがしかしそれは忘れっぽくない」ということは誤りだ
1. 事実13と事実3から、推論1: "この実行前はしょぼいけど忘れっぽいということはない"が導かれる
2. 推論1から、仮説が否定される

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