その発毛剤は疲れ易くない
fact1: 仮になにがしかの物が空洞化しないとしたら心細くない fact2: もし仮にあのライフ・スタイルが人物達だということはないがしかし心細いとするとその発毛剤は疲れ易くない fact3: あのライフ・スタイルは焼け窶れないしおまけに僭称しない fact4: その発毛剤は判断し兼ねないしその上原敬内閣であるということはない fact5: 「「売り声だしさらに空洞化する」ということは間違いな」ものはある fact6: もしなんらかの物が空洞化するとしたら疲れ易い fact7: もし仮にあのライフ・スタイルが空洞化しないならそれは心細くない fact8: あのライフ・スタイルは売り声でない fact9: なにかは売り声でない一方で空洞化する fact10: もし仮にその発毛剤が人物達でないならそれは心細いということはなくてかつ疲れ易くない fact11: この住宅ローン市場はインフレ懸念でないとすると切り傷でない fact12: あのライフ・スタイルは心細くない fact13: 「「売り声でないし空洞化する」ということは成り立たない」ものはある fact14: もし仮にあのライフ・スタイルは人物達でなくて更に心細くないならば「その発毛剤は疲れ易くない」ということは真実である fact15: 「「心細いしさらに疲れ易い」ということは成り立たない」物はある fact16: もしその発毛剤が戊辰でないとするとそれは疲れ易くておまけに空洞化する fact17: もし仮に「売り声である」ものがあるとしたらあのライフ・スタイルは空洞化しない fact18: もし仮になにがしかの物が空洞化するということはないとしたら人物達でないしまた心細くない fact19: もし仮に「「売り声でないし空洞化する」ということは真実でない」ものがあるとすればあのライフ・スタイルは空洞化しない
fact18 -> int1: もしもあのライフ・スタイルが空洞化しないとしたら人物達でなくてかつ心細くない; fact19 & fact13 -> int2: あのライフ・スタイルは空洞化しない; int1 & int2 -> int3: あのライフ・スタイルは人物達でなくておまけに心細いということはない; int3 & fact14 -> hypothesis;
fact18 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact19 & fact13 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & ¬{AB}{aa}); int3 & fact14 -> hypothesis;
「その発毛剤は疲れ易い」ということは本当である
$facts$ = fact1: 仮になにがしかの物が空洞化しないとしたら心細くない fact2: もし仮にあのライフ・スタイルが人物達だということはないがしかし心細いとするとその発毛剤は疲れ易くない fact3: あのライフ・スタイルは焼け窶れないしおまけに僭称しない fact4: その発毛剤は判断し兼ねないしその上原敬内閣であるということはない fact5: 「「売り声だしさらに空洞化する」ということは間違いな」ものはある fact6: もしなんらかの物が空洞化するとしたら疲れ易い fact7: もし仮にあのライフ・スタイルが空洞化しないならそれは心細くない fact8: あのライフ・スタイルは売り声でない fact9: なにかは売り声でない一方で空洞化する fact10: もし仮にその発毛剤が人物達でないならそれは心細いということはなくてかつ疲れ易くない fact11: この住宅ローン市場はインフレ懸念でないとすると切り傷でない fact12: あのライフ・スタイルは心細くない fact13: 「「売り声でないし空洞化する」ということは成り立たない」ものはある fact14: もし仮にあのライフ・スタイルは人物達でなくて更に心細くないならば「その発毛剤は疲れ易くない」ということは真実である fact15: 「「心細いしさらに疲れ易い」ということは成り立たない」物はある fact16: もしその発毛剤が戊辰でないとするとそれは疲れ易くておまけに空洞化する fact17: もし仮に「売り声である」ものがあるとしたらあのライフ・スタイルは空洞化しない fact18: もし仮になにがしかの物が空洞化するということはないとしたら人物達でないしまた心細くない fact19: もし仮に「「売り声でないし空洞化する」ということは真実でない」ものがあるとすればあのライフ・スタイルは空洞化しない ; $hypothesis$ = その発毛剤は疲れ易くない ; $proof$ = 
fact18 -> int1: もしもあのライフ・スタイルが空洞化しないとしたら人物達でなくてかつ心細くない; fact19 & fact13 -> int2: あのライフ・スタイルは空洞化しない; int1 & int2 -> int3: あのライフ・スタイルは人物達でなくておまけに心細いということはない; int3 & fact14 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物が空洞化しないとしたら心細くない
事実2: もし仮にあのライフ・スタイルが人物達だということはないがしかし心細いとするとその発毛剤は疲れ易くない
事実3: あのライフ・スタイルは焼け窶れないしおまけに僭称しない
事実4: その発毛剤は判断し兼ねないしその上原敬内閣であるということはない
事実5: 「「売り声だしさらに空洞化する」ということは間違いな」ものはある
事実6: もしなんらかの物が空洞化するとしたら疲れ易い
事実7: もし仮にあのライフ・スタイルが空洞化しないならそれは心細くない
事実8: あのライフ・スタイルは売り声でない
事実9: なにかは売り声でない一方で空洞化する
事実10: もし仮にその発毛剤が人物達でないならそれは心細いということはなくてかつ疲れ易くない
事実11: この住宅ローン市場はインフレ懸念でないとすると切り傷でない
事実12: あのライフ・スタイルは心細くない
事実13: 「「売り声でないし空洞化する」ということは成り立たない」ものはある
事実14: もし仮にあのライフ・スタイルは人物達でなくて更に心細くないならば「その発毛剤は疲れ易くない」ということは真実である
事実15: 「「心細いしさらに疲れ易い」ということは成り立たない」物はある
事実16: もしその発毛剤が戊辰でないとするとそれは疲れ易くておまけに空洞化する
事実17: もし仮に「売り声である」ものがあるとしたらあのライフ・スタイルは空洞化しない
事実18: もし仮になにがしかの物が空洞化するということはないとしたら人物達でないしまた心細くない
事実19: もし仮に「「売り声でないし空洞化する」ということは真実でない」ものがあるとすればあのライフ・スタイルは空洞化しない

仮説: その発毛剤は疲れ易くない
1. 事実18から、推論1: "もしもあのライフ・スタイルが空洞化しないとしたら人物達でなくてかつ心細くない"が導かれる
2. 事実19と事実13から、推論2: "あのライフ・スタイルは空洞化しない"が導かれる
3. 推論1と推論2から、推論3: "あのライフ・スタイルは人物達でなくておまけに心細いということはない"が導かれる
4. 推論3と事実14から、仮説が導かれる

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