この中道は連れ立つ
fact1: もし仮に「なにがしかのものは払拭するしかつ講義室だ」ということは偽だとすればそれは擦れるということはない fact2: もし仮に「ある物が払拭するしその上大き過ぎる」ということは偽ならば目合いでない fact3: もしあるものは住むなら「この二十代半ばは払拭するしかつ大き過ぎる」ということは成り立つということはない fact4: もしこの二十代半ばが打ち直さないとすると大き過ぎるしおまけに目合いだ fact5: なんらかの物は住む fact6: 仮にこの二十代半ばが払拭するとするとこの中道は住まない fact7: 仮に何らかのものが大き過ぎないとすればそれは目合いでない fact8: もし仮にとある物が住まないなら連れ立つということはない fact9: この二十代半ばは目合いでないとしたら「この中道は連れ立つ」ということは成り立つ
fact5 & fact3 -> int1: 「この二十代半ばは払拭するしかつ大き過ぎる」ということは成り立たない; fact2 -> int2: 仮に「この二十代半ばは払拭するし更にそれは大き過ぎる」ということは間違っていればそれは目合いでない; int1 & int2 -> int3: この二十代半ばは目合いでない; int3 & fact9 -> hypothesis;
この中道は連れ立たない
fact11 -> int4: もしこの中道が住まないとすればそれは連れ立たない;
$facts$ = fact1: もし仮に「なにがしかのものは払拭するしかつ講義室だ」ということは偽だとすればそれは擦れるということはない fact2: もし仮に「ある物が払拭するしその上大き過ぎる」ということは偽ならば目合いでない fact3: もしあるものは住むなら「この二十代半ばは払拭するしかつ大き過ぎる」ということは成り立つということはない fact4: もしこの二十代半ばが打ち直さないとすると大き過ぎるしおまけに目合いだ fact5: なんらかの物は住む fact6: 仮にこの二十代半ばが払拭するとするとこの中道は住まない fact7: 仮に何らかのものが大き過ぎないとすればそれは目合いでない fact8: もし仮にとある物が住まないなら連れ立つということはない fact9: この二十代半ばは目合いでないとしたら「この中道は連れ立つ」ということは成り立つ ; $hypothesis$ = この中道は連れ立つ ; $proof$ = 
fact5 & fact3 -> int1: 「この二十代半ばは払拭するしかつ大き過ぎる」ということは成り立たない; fact2 -> int2: 仮に「この二十代半ばは払拭するし更にそれは大き過ぎる」ということは間違っていればそれは目合いでない; int1 & int2 -> int3: この二十代半ばは目合いでない; int3 & fact9 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかのものは払拭するしかつ講義室だ」ということは偽だとすればそれは擦れるということはない
事実2: もし仮に「ある物が払拭するしその上大き過ぎる」ということは偽ならば目合いでない
事実3: もしあるものは住むなら「この二十代半ばは払拭するしかつ大き過ぎる」ということは成り立つということはない
事実4: もしこの二十代半ばが打ち直さないとすると大き過ぎるしおまけに目合いだ
事実5: なんらかの物は住む
事実6: 仮にこの二十代半ばが払拭するとするとこの中道は住まない
事実7: 仮に何らかのものが大き過ぎないとすればそれは目合いでない
事実8: もし仮にとある物が住まないなら連れ立つということはない
事実9: この二十代半ばは目合いでないとしたら「この中道は連れ立つ」ということは成り立つ

仮説: この中道は連れ立つ
1. 事実5と事実3から、推論1: "「この二十代半ばは払拭するしかつ大き過ぎる」ということは成り立たない"が導かれる
2. 事実2から、推論2: "仮に「この二十代半ばは払拭するし更にそれは大き過ぎる」ということは間違っていればそれは目合いでない"が導かれる
3. 推論1と推論2から、推論3: "この二十代半ばは目合いでない"が導かれる
4. 推論3と事実9から、仮説が導かれる

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