その反乱軍は全員参加でない
fact1: その反乱軍は慎み深くて運転し易い fact2: その天吏は選択され易い fact3: あの秀麗さんは作り難いしその上全員参加だ fact4: もし「人工関節である」物があるとすればあの貸借対照表価額はパワープラント先行研究でないが根機だ fact5: 運転し易くないものは全員参加であるししかも慎み深い fact6: 仮にそのカリキュラム編成は現役復帰するということはなくて薄暗くないならば「その陰間茶屋は選択され易い」ということは成り立つ fact7: もし「その反乱軍は選択され易くないけれどそれは混乱期である」ということは嘘であるとすれば選択され易い fact8: その反乱軍はきったないししかも後葉である fact9: もし慎み深い物が選択され易いならば全員参加でない fact10: この染め物は人工関節である fact11: 「その反乱軍は逃れ難くないが選択され易い」ということは成り立たない fact12: その反乱軍は運転し易い fact13: その脇芽は混乱期だ fact14: 「切り難いということはない」ものはある fact15: 仮に「切り難くない」物があるとすればその三条帝はチャリティーショップでないし混乱期でない fact16: もしあの貸借対照表価額がパワープラント先行研究でないが根機であるならばそのカリキュラム編成はパワープラント先行研究であるということはない fact17: もしも慎み深い物が混乱期ならそれは選択され易くない fact18: もしもなんらかの物がチャリティーショップでなくてその上混乱期でないとしたらその陰間茶屋は蚯蚓だ fact19: 「その反乱軍は選択され易くないが混乱期である」ということは間違いである fact20: 仮になにがしかのものはパワープラント先行研究でないならば現役復帰するということはなくて薄暗くない fact21: 「その反乱軍は精鋭である」ということは成り立つ
fact1 -> int1: その反乱軍は慎み深い; fact7 & fact19 -> int2: その反乱軍は選択され易い; int1 & int2 -> int3: その反乱軍は慎み深くて選択され易い; fact9 -> int4: もしその反乱軍が慎み深いしその上選択され易いとすればそれは全員参加でない; int3 & int4 -> hypothesis;
その反乱軍は全員参加だ
fact25 -> int5: もしその反乱軍は運転し易くないとすれば全員参加であるしその上慎み深い; fact27 & fact22 -> int6: その三条帝はチャリティーショップでないし更に混乱期であるということはない; int6 -> int7: 「チャリティーショップでなくてしかも混乱期であるということはない」ものはある; int7 & fact30 -> int8: その陰間茶屋は蚯蚓だ; fact29 -> int9: もし仮にそのカリキュラム編成がパワープラント先行研究でないとすれば現役復帰しなくておまけに薄暗くない; fact26 -> int10: 「人工関節な」ものはある; int10 & fact28 -> int11: あの貸借対照表価額はパワープラント先行研究でないけれど根機だ; fact24 & int11 -> int12: そのカリキュラム編成はパワープラント先行研究であるということはない; int9 & int12 -> int13: そのカリキュラム編成は現役復帰しなくてまたそれは薄暗くない; fact23 & int13 -> int14: その陰間茶屋は選択され易い; int8 & int14 -> int15: その陰間茶屋は蚯蚓であってその上選択され易い; int15 -> int16: 何かは蚯蚓だしそれは選択され易い;
$facts$ = fact1: その反乱軍は慎み深くて運転し易い fact2: その天吏は選択され易い fact3: あの秀麗さんは作り難いしその上全員参加だ fact4: もし「人工関節である」物があるとすればあの貸借対照表価額はパワープラント先行研究でないが根機だ fact5: 運転し易くないものは全員参加であるししかも慎み深い fact6: 仮にそのカリキュラム編成は現役復帰するということはなくて薄暗くないならば「その陰間茶屋は選択され易い」ということは成り立つ fact7: もし「その反乱軍は選択され易くないけれどそれは混乱期である」ということは嘘であるとすれば選択され易い fact8: その反乱軍はきったないししかも後葉である fact9: もし慎み深い物が選択され易いならば全員参加でない fact10: この染め物は人工関節である fact11: 「その反乱軍は逃れ難くないが選択され易い」ということは成り立たない fact12: その反乱軍は運転し易い fact13: その脇芽は混乱期だ fact14: 「切り難いということはない」ものはある fact15: 仮に「切り難くない」物があるとすればその三条帝はチャリティーショップでないし混乱期でない fact16: もしあの貸借対照表価額がパワープラント先行研究でないが根機であるならばそのカリキュラム編成はパワープラント先行研究であるということはない fact17: もしも慎み深い物が混乱期ならそれは選択され易くない fact18: もしもなんらかの物がチャリティーショップでなくてその上混乱期でないとしたらその陰間茶屋は蚯蚓だ fact19: 「その反乱軍は選択され易くないが混乱期である」ということは間違いである fact20: 仮になにがしかのものはパワープラント先行研究でないならば現役復帰するということはなくて薄暗くない fact21: 「その反乱軍は精鋭である」ということは成り立つ ; $hypothesis$ = その反乱軍は全員参加でない ; $proof$ = 
fact1 -> int1: その反乱軍は慎み深い; fact7 & fact19 -> int2: その反乱軍は選択され易い; int1 & int2 -> int3: その反乱軍は慎み深くて選択され易い; fact9 -> int4: もしその反乱軍が慎み深いしその上選択され易いとすればそれは全員参加でない; int3 & int4 -> hypothesis; __PROVED__
事実1: その反乱軍は慎み深くて運転し易い
事実2: その天吏は選択され易い
事実3: あの秀麗さんは作り難いしその上全員参加だ
事実4: もし「人工関節である」物があるとすればあの貸借対照表価額はパワープラント先行研究でないが根機だ
事実5: 運転し易くないものは全員参加であるししかも慎み深い
事実6: 仮にそのカリキュラム編成は現役復帰するということはなくて薄暗くないならば「その陰間茶屋は選択され易い」ということは成り立つ
事実7: もし「その反乱軍は選択され易くないけれどそれは混乱期である」ということは嘘であるとすれば選択され易い
事実8: その反乱軍はきったないししかも後葉である
事実9: もし慎み深い物が選択され易いならば全員参加でない
事実10: この染め物は人工関節である
事実11: 「その反乱軍は逃れ難くないが選択され易い」ということは成り立たない
事実12: その反乱軍は運転し易い
事実13: その脇芽は混乱期だ
事実14: 「切り難いということはない」ものはある
事実15: 仮に「切り難くない」物があるとすればその三条帝はチャリティーショップでないし混乱期でない
事実16: もしあの貸借対照表価額がパワープラント先行研究でないが根機であるならばそのカリキュラム編成はパワープラント先行研究であるということはない
事実17: もしも慎み深い物が混乱期ならそれは選択され易くない
事実18: もしもなんらかの物がチャリティーショップでなくてその上混乱期でないとしたらその陰間茶屋は蚯蚓だ
事実19: 「その反乱軍は選択され易くないが混乱期である」ということは間違いである
事実20: 仮になにがしかのものはパワープラント先行研究でないならば現役復帰するということはなくて薄暗くない
事実21: 「その反乱軍は精鋭である」ということは成り立つ

仮説: その反乱軍は全員参加でない
1. 事実1から、推論1: "その反乱軍は慎み深い"が導かれる
2. 事実7と事実19から、推論2: "その反乱軍は選択され易い"が導かれる
3. 推論1と推論2から、推論3: "その反乱軍は慎み深くて選択され易い"が導かれる
4. 事実9から、推論4: "もしその反乱軍が慎み深いしその上選択され易いとすればそれは全員参加でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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