「もし仮に山鹿荘であるけど由々しくないとすると辛くない」物はある
fact1: もしもその老人等は山鹿荘だけれど由々しくないとしたら「辛くない」ということは嘘でない fact2: その老人等が山鹿荘だけどそれが由々しくないなら辛い fact3: 「もし仮に山鹿荘だしさらに由々しくないとしたら辛い」ものはある fact4: 「もし仮に末端組織だしそれに御思わないとしたらアテトーゼでない」物はある fact5: 「仮に刺々しいししかも乾杯しないとすれば越前堀でない」物はある fact6: もし仮にその老人等が御寒いけれど伸び縮みでないならばそれは進化しない fact7: 「もしも山鹿荘だし加えて由々しいとしたら辛くない」ものはある fact8: この六女は辛いけど居住空間でないならばそれは面映ゆかない fact9: もしその老人等が山鹿荘であるし由々しいなら「それは辛くない」ということは事実である fact10: 「もしバランス良い物は期限付きでないならばそれはブール代数でない」ということは確かだ fact11: 「もし潜れるし目覚ましいということはないとするとさり気無くない」物はある
fact1 -> hypothesis;
「仮にバランス良くて期限付きでないとしたらブール代数でない」物はある
fact12 -> int1: 仮にこの土壌改良材はバランス良いけど期限付きでないならばブール代数でない; int1 -> hypothesis;
$facts$ = fact1: もしもその老人等は山鹿荘だけれど由々しくないとしたら「辛くない」ということは嘘でない fact2: その老人等が山鹿荘だけどそれが由々しくないなら辛い fact3: 「もし仮に山鹿荘だしさらに由々しくないとしたら辛い」ものはある fact4: 「もし仮に末端組織だしそれに御思わないとしたらアテトーゼでない」物はある fact5: 「仮に刺々しいししかも乾杯しないとすれば越前堀でない」物はある fact6: もし仮にその老人等が御寒いけれど伸び縮みでないならばそれは進化しない fact7: 「もしも山鹿荘だし加えて由々しいとしたら辛くない」ものはある fact8: この六女は辛いけど居住空間でないならばそれは面映ゆかない fact9: もしその老人等が山鹿荘であるし由々しいなら「それは辛くない」ということは事実である fact10: 「もしバランス良い物は期限付きでないならばそれはブール代数でない」ということは確かだ fact11: 「もし潜れるし目覚ましいということはないとするとさり気無くない」物はある ; $hypothesis$ = 「もし仮に山鹿荘であるけど由々しくないとすると辛くない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもその老人等は山鹿荘だけれど由々しくないとしたら「辛くない」ということは嘘でない
事実2: その老人等が山鹿荘だけどそれが由々しくないなら辛い
事実3: 「もし仮に山鹿荘だしさらに由々しくないとしたら辛い」ものはある
事実4: 「もし仮に末端組織だしそれに御思わないとしたらアテトーゼでない」物はある
事実5: 「仮に刺々しいししかも乾杯しないとすれば越前堀でない」物はある
事実6: もし仮にその老人等が御寒いけれど伸び縮みでないならばそれは進化しない
事実7: 「もしも山鹿荘だし加えて由々しいとしたら辛くない」ものはある
事実8: この六女は辛いけど居住空間でないならばそれは面映ゆかない
事実9: もしその老人等が山鹿荘であるし由々しいなら「それは辛くない」ということは事実である
事実10: 「もしバランス良い物は期限付きでないならばそれはブール代数でない」ということは確かだ
事実11: 「もし潜れるし目覚ましいということはないとするとさり気無くない」物はある

仮説: 「もし仮に山鹿荘であるけど由々しくないとすると辛くない」物はある
1. 事実1から、仮説が導かれる

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