なんらかの物は改定するがしかし購入当初でない
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: 「購入当初でない」物はある
fact12 -> int1: あの足利幕府は雄々しかないとしたら「意地悪いけど育て易くない」ということは成り立たない; fact19 & fact22 -> int2: あの足利幕府は雄々しかない; int1 & int2 -> int3: 「あの足利幕府は意地悪いけど育て易くない」ということは成り立たない; int3 & fact5 -> int4: 「そのシーソーは改定する」ということは成り立たない; int4 & fact10 -> int5: その大失敗は改定するけれどそれは購入当初でない; int5 -> hypothesis;
「その水干は差別するがしかしそれは行き掛けない」ということは真実でない
fact26 -> int6: もし仮にそのシーソーが改定するとしたらそれは雄々しい; fact27 -> int7: その大失敗が口喧しいとすると冷め易くないししかもそれは購入当初でない; fact28 -> int8: もしそのシーソーは冷め易くないししかも購入当初でないとするとそれは改定する;
$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$ = 
fact12 -> int1: あの足利幕府は雄々しかないとしたら「意地悪いけど育て易くない」ということは成り立たない; fact19 & fact22 -> int2: あの足利幕府は雄々しかない; int1 & int2 -> int3: 「あの足利幕府は意地悪いけど育て易くない」ということは成り立たない; int3 & fact5 -> int4: 「そのシーソーは改定する」ということは成り立たない; int4 & fact10 -> int5: その大失敗は改定するけれどそれは購入当初でない; int5 -> 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. 事実12から、推論1: "あの足利幕府は雄々しかないとしたら「意地悪いけど育て易くない」ということは成り立たない"が導かれる
2. 事実19と事実22から、推論2: "あの足利幕府は雄々しかない"が導かれる
3. 推論1と推論2から、推論3: "「あの足利幕府は意地悪いけど育て易くない」ということは成り立たない"が導かれる
4. 推論3と事実5から、推論4: "「そのシーソーは改定する」ということは成り立たない"が導かれる
5. 推論4と事実10から、推論5: "その大失敗は改定するけれどそれは購入当初でない"が導かれる
6. 推論5から、仮説が導かれる

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