「スチュワーデスだし解熱する」ものはある
fact1: このオープンスタイルは生じ難くないしモニターでない fact2: もし仮に何らかのものがぱさぱさするとしたらスチュワーデスである fact3: 生じ難くない物は物上であるし解熱する fact4: そのパリ郊外は萌え出ずし第十二回検討会である fact5: この一族はＪＳであるし歌う fact6: 仮にそのパリ郊外が萌え出ずならばあのオープンスタイルはぱさぱさする
fact4 -> int1: そのパリ郊外は萌え出ず; int1 & fact6 -> int2: このオープンスタイルはぱさぱさする; fact2 -> int3: もしもこのオープンスタイルはぱさぱさするとしたら「それはスチュワーデスだ」ということは誤りでない; int2 & int3 -> int4: このオープンスタイルはスチュワーデスである; fact1 -> int5: このオープンスタイルは生じ難くない; fact3 -> int6: 仮にこのオープンスタイルが生じ難くないならばそれは物上だしその上解熱する; int5 & int6 -> int7: このオープンスタイルが物上だしさらにそれは解熱する; int7 -> int8: このオープンスタイルは解熱する; int4 & int8 -> int9: このオープンスタイルはスチュワーデスでまた解熱する; int9 -> hypothesis;
$facts$ = fact1: このオープンスタイルは生じ難くないしモニターでない fact2: もし仮に何らかのものがぱさぱさするとしたらスチュワーデスである fact3: 生じ難くない物は物上であるし解熱する fact4: そのパリ郊外は萌え出ずし第十二回検討会である fact5: この一族はＪＳであるし歌う fact6: 仮にそのパリ郊外が萌え出ずならばあのオープンスタイルはぱさぱさする ; $hypothesis$ = 「スチュワーデスだし解熱する」ものはある ; $proof$ = 
fact4 -> int1: そのパリ郊外は萌え出ず; int1 & fact6 -> int2: このオープンスタイルはぱさぱさする; fact2 -> int3: もしもこのオープンスタイルはぱさぱさするとしたら「それはスチュワーデスだ」ということは誤りでない; int2 & int3 -> int4: このオープンスタイルはスチュワーデスである; fact1 -> int5: このオープンスタイルは生じ難くない; fact3 -> int6: 仮にこのオープンスタイルが生じ難くないならばそれは物上だしその上解熱する; int5 & int6 -> int7: このオープンスタイルが物上だしさらにそれは解熱する; int7 -> int8: このオープンスタイルは解熱する; int4 & int8 -> int9: このオープンスタイルはスチュワーデスでまた解熱する; int9 -> hypothesis; __PROVED__
事実1: このオープンスタイルは生じ難くないしモニターでない
事実2: もし仮に何らかのものがぱさぱさするとしたらスチュワーデスである
事実3: 生じ難くない物は物上であるし解熱する
事実4: そのパリ郊外は萌え出ずし第十二回検討会である
事実5: この一族はＪＳであるし歌う
事実6: 仮にそのパリ郊外が萌え出ずならばあのオープンスタイルはぱさぱさする

仮説: 「スチュワーデスだし解熱する」ものはある
1. 事実4から、推論1: "そのパリ郊外は萌え出ず"が導かれる
2. 推論1と事実6から、推論2: "このオープンスタイルはぱさぱさする"が導かれる
3. 事実2から、推論3: "もしもこのオープンスタイルはぱさぱさするとしたら「それはスチュワーデスだ」ということは誤りでない"が導かれる
4. 推論2と推論3から、推論4: "このオープンスタイルはスチュワーデスである"が導かれる
5. 事実1から、推論5: "このオープンスタイルは生じ難くない"が導かれる
6. 事実3から、推論6: "仮にこのオープンスタイルが生じ難くないならばそれは物上だしその上解熱する"が導かれる
7. 推論5と推論6から、推論7: "このオープンスタイルが物上だしさらにそれは解熱する"が導かれる
8. 推論7から、推論8: "このオープンスタイルは解熱する"が導かれる
9. 推論4と推論8から、推論9: "このオープンスタイルはスチュワーデスでまた解熱する"が導かれる
10. 推論9から、仮説が導かれる

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