この最高幹部会議は焼き過ぎる
fact1: あの政争は船酔いする fact2: あるものは仮す fact3: 「なにがしかの物はヨーロッパ的世界観だ」ということは成り立てば「それは船酔いする」ということは確かである fact4: もしそのインサービス試験が仮すとすれば尊重し合う fact5: このオツ案は茶色い fact6: 仮にこのオツ案が尊重し合うけどそれがヨーロッパ的世界観だということはないとしたらそれは狡っ辛い fact7: この最高幹部会議は尊重し合う fact8: もしなにかは狡っ辛いとすれば仮す fact9: 仮にそのインサービス試験が尊重し合わないとすればこの最高幹部会議は尊重し合うが昼夜逆転しない fact10: このオツ案は狡っ辛い fact11: そのインサービス試験は船酔いする fact12: 仮になんらかのものが尊重し合うけど昼夜逆転しないとすれば焼き過ぎる fact13: あの上総守殿は尊重し合う fact14: もし茶色いものが昼夜逆転しないとすればそれは仮す fact15: もしもそのインサービス試験は昼夜逆転するとすると「それは尊重し合う」ということは成り立つ fact16: もしもそのインサービス試験がヨーロッパ的世界観であるということはないとすればあのオツ案はヨーロッパ的世界観であるけれど尊重し合うということはない fact17: もしこの最高幹部会議は焼き過ぎるとしたら「船酔いする」ということは本当だ fact18: 「船酔いする」ものはある fact19: このオツ案は天命だ一方でそれは酔い易くない fact20: もし仮に「船酔いするし仮す」ものがあるとしたらそのインサービス試験は尊重し合わない fact21: 「この最高幹部会議はヨーロッパ的世界観でそれに茶色い」ということは成り立つということはないならば焼き過ぎるということはない fact22: もし仮にそのインサービス試験が尊重し合わないとするとこの最高幹部会議は尊重し合う fact23: このオツ案はヨーロッパ的世界観だし茶色い fact24: その電気は狡っ辛いがしかし登記用紙でない fact25: 仮にこのオツ案はヨーロッパ的世界観であるならば尊重し合う
fact23 -> int1: このオツ案はヨーロッパ的世界観だ; fact3 -> int2: もしもこのオツ案がヨーロッパ的世界観なら船酔いする; int1 & int2 -> int3: このオツ案は船酔いする; fact8 -> int4: このオツ案が狡っ辛いとすれば仮す; int4 & fact10 -> int5: 「このオツ案は仮す」ということは成り立つ; int3 & int5 -> int6: このオツ案は船酔いするしおまけにそれは仮す; int6 -> int7: 「船酔いするしかつ仮す」物はある; int7 & fact20 -> int8: 「そのインサービス試験は尊重し合わない」ということは事実である; int8 & fact9 -> int9: この最高幹部会議は尊重し合うけどそれは昼夜逆転しない; fact12 -> int10: 仮にこの最高幹部会議は尊重し合うが昼夜逆転しないとしたら「それは焼き過ぎる」ということは事実だ; int9 & int10 -> hypothesis;
この最高幹部会議は焼き過ぎない
$facts$ = fact1: あの政争は船酔いする fact2: あるものは仮す fact3: 「なにがしかの物はヨーロッパ的世界観だ」ということは成り立てば「それは船酔いする」ということは確かである fact4: もしそのインサービス試験が仮すとすれば尊重し合う fact5: このオツ案は茶色い fact6: 仮にこのオツ案が尊重し合うけどそれがヨーロッパ的世界観だということはないとしたらそれは狡っ辛い fact7: この最高幹部会議は尊重し合う fact8: もしなにかは狡っ辛いとすれば仮す fact9: 仮にそのインサービス試験が尊重し合わないとすればこの最高幹部会議は尊重し合うが昼夜逆転しない fact10: このオツ案は狡っ辛い fact11: そのインサービス試験は船酔いする fact12: 仮になんらかのものが尊重し合うけど昼夜逆転しないとすれば焼き過ぎる fact13: あの上総守殿は尊重し合う fact14: もし茶色いものが昼夜逆転しないとすればそれは仮す fact15: もしもそのインサービス試験は昼夜逆転するとすると「それは尊重し合う」ということは成り立つ fact16: もしもそのインサービス試験がヨーロッパ的世界観であるということはないとすればあのオツ案はヨーロッパ的世界観であるけれど尊重し合うということはない fact17: もしこの最高幹部会議は焼き過ぎるとしたら「船酔いする」ということは本当だ fact18: 「船酔いする」ものはある fact19: このオツ案は天命だ一方でそれは酔い易くない fact20: もし仮に「船酔いするし仮す」ものがあるとしたらそのインサービス試験は尊重し合わない fact21: 「この最高幹部会議はヨーロッパ的世界観でそれに茶色い」ということは成り立つということはないならば焼き過ぎるということはない fact22: もし仮にそのインサービス試験が尊重し合わないとするとこの最高幹部会議は尊重し合う fact23: このオツ案はヨーロッパ的世界観だし茶色い fact24: その電気は狡っ辛いがしかし登記用紙でない fact25: 仮にこのオツ案はヨーロッパ的世界観であるならば尊重し合う ; $hypothesis$ = この最高幹部会議は焼き過ぎる ; $proof$ = 
fact23 -> int1: このオツ案はヨーロッパ的世界観だ; fact3 -> int2: もしもこのオツ案がヨーロッパ的世界観なら船酔いする; int1 & int2 -> int3: このオツ案は船酔いする; fact8 -> int4: このオツ案が狡っ辛いとすれば仮す; int4 & fact10 -> int5: 「このオツ案は仮す」ということは成り立つ; int3 & int5 -> int6: このオツ案は船酔いするしおまけにそれは仮す; int6 -> int7: 「船酔いするしかつ仮す」物はある; int7 & fact20 -> int8: 「そのインサービス試験は尊重し合わない」ということは事実である; int8 & fact9 -> int9: この最高幹部会議は尊重し合うけどそれは昼夜逆転しない; fact12 -> int10: 仮にこの最高幹部会議は尊重し合うが昼夜逆転しないとしたら「それは焼き過ぎる」ということは事実だ; int9 & int10 -> hypothesis; __PROVED__
事実1: あの政争は船酔いする
事実2: あるものは仮す
事実3: 「なにがしかの物はヨーロッパ的世界観だ」ということは成り立てば「それは船酔いする」ということは確かである
事実4: もしそのインサービス試験が仮すとすれば尊重し合う
事実5: このオツ案は茶色い
事実6: 仮にこのオツ案が尊重し合うけどそれがヨーロッパ的世界観だということはないとしたらそれは狡っ辛い
事実7: この最高幹部会議は尊重し合う
事実8: もしなにかは狡っ辛いとすれば仮す
事実9: 仮にそのインサービス試験が尊重し合わないとすればこの最高幹部会議は尊重し合うが昼夜逆転しない
事実10: このオツ案は狡っ辛い
事実11: そのインサービス試験は船酔いする
事実12: 仮になんらかのものが尊重し合うけど昼夜逆転しないとすれば焼き過ぎる
事実13: あの上総守殿は尊重し合う
事実14: もし茶色いものが昼夜逆転しないとすればそれは仮す
事実15: もしもそのインサービス試験は昼夜逆転するとすると「それは尊重し合う」ということは成り立つ
事実16: もしもそのインサービス試験がヨーロッパ的世界観であるということはないとすればあのオツ案はヨーロッパ的世界観であるけれど尊重し合うということはない
事実17: もしこの最高幹部会議は焼き過ぎるとしたら「船酔いする」ということは本当だ
事実18: 「船酔いする」ものはある
事実19: このオツ案は天命だ一方でそれは酔い易くない
事実20: もし仮に「船酔いするし仮す」ものがあるとしたらそのインサービス試験は尊重し合わない
事実21: 「この最高幹部会議はヨーロッパ的世界観でそれに茶色い」ということは成り立つということはないならば焼き過ぎるということはない
事実22: もし仮にそのインサービス試験が尊重し合わないとするとこの最高幹部会議は尊重し合う
事実23: このオツ案はヨーロッパ的世界観だし茶色い
事実24: その電気は狡っ辛いがしかし登記用紙でない
事実25: 仮にこのオツ案はヨーロッパ的世界観であるならば尊重し合う

仮説: この最高幹部会議は焼き過ぎる
1. 事実23から、推論1: "このオツ案はヨーロッパ的世界観だ"が導かれる
2. 事実3から、推論2: "もしもこのオツ案がヨーロッパ的世界観なら船酔いする"が導かれる
3. 推論1と推論2から、推論3: "このオツ案は船酔いする"が導かれる
4. 事実8から、推論4: "このオツ案が狡っ辛いとすれば仮す"が導かれる
5. 推論4と事実10から、推論5: "「このオツ案は仮す」ということは成り立つ"が導かれる
6. 推論3と推論5から、推論6: "このオツ案は船酔いするしおまけにそれは仮す"が導かれる
7. 推論6から、推論7: "「船酔いするしかつ仮す」物はある"が導かれる
8. 推論7と事実20から、推論8: "「そのインサービス試験は尊重し合わない」ということは事実である"が導かれる
9. 推論8と事実9から、推論9: "この最高幹部会議は尊重し合うけどそれは昼夜逆転しない"が導かれる
10. 事実12から、推論10: "仮にこの最高幹部会議は尊重し合うが昼夜逆転しないとしたら「それは焼き過ぎる」ということは事実だ"が導かれる
11. 推論9と推論10から、仮説が導かれる

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