もしもあの線香が覚え易いとするとこの襖絵は引っ越し当日である
fact1: 仮にあの線香が覚え易いならその入道雲は店開きしない fact2: もしもその入道雲が店開きしなくてそれが物色でないとすればこの襖絵は引っ越し当日だ fact3: その入道雲は店開きしない fact4: 仮にあの線香が覚え易いとすればその入道雲は店開きしないしまた物色でない fact5: もしその入道雲が店開きするが物色でないとするとこの襖絵は引っ越し当日だ
void -> assump1: 以下のように仮定する。あの線香は覚え易い; fact4 & assump1 -> int1: その入道雲は店開きしないしそれに物色であるということはない; int1 & fact2 -> int2: この襖絵は引っ越し当日だ; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮にあの線香が覚え易いならその入道雲は店開きしない fact2: もしもその入道雲が店開きしなくてそれが物色でないとすればこの襖絵は引っ越し当日だ fact3: その入道雲は店開きしない fact4: 仮にあの線香が覚え易いとすればその入道雲は店開きしないしまた物色でない fact5: もしその入道雲が店開きするが物色でないとするとこの襖絵は引っ越し当日だ ; $hypothesis$ = もしもあの線香が覚え易いとするとこの襖絵は引っ越し当日である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの線香は覚え易い; fact4 & assump1 -> int1: その入道雲は店開きしないしそれに物色であるということはない; int1 & fact2 -> int2: この襖絵は引っ越し当日だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にあの線香が覚え易いならその入道雲は店開きしない
事実2: もしもその入道雲が店開きしなくてそれが物色でないとすればこの襖絵は引っ越し当日だ
事実3: その入道雲は店開きしない
事実4: 仮にあの線香が覚え易いとすればその入道雲は店開きしないしまた物色でない
事実5: もしその入道雲が店開きするが物色でないとするとこの襖絵は引っ越し当日だ

仮説: もしもあの線香が覚え易いとするとこの襖絵は引っ越し当日である
1. 仮定1: 以下のように仮定する。あの線香は覚え易い
2. 事実4と仮定1から、推論1: "その入道雲は店開きしないしそれに物色であるということはない"が導かれる
3. 推論1と事実2から、推論2: "この襖絵は引っ越し当日だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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