あの話型は進行状況でない
fact1: この心理劇は進行状況でない fact2: もしそのトリムが細くないとしたらあの話型は進行状況であるということはない fact3: 「あの話型は進行状況であるし細い」ということは正しいということはない fact4: その最終順位は丙だ fact5: もしもそのトリムは折畳み式椅子であるとしたら「あの話型は御辛い一方でスカビオサだということはない」ということは間違っている fact6: あの話型は糸球体でない fact7: もしも何らかの物は研修センターでないとすると「天文台だし加えて香ばしかない」ということは成り立たない fact8: もし仮にそのトリムが進行状況であるならばあの話型は細くない fact9: 「そのトリムは細いがしかしそれは日本らしくない」ということは間違っている fact10: 「あの話型は細いけどそれは進行状況でない」ということは成り立たない fact11: もし「そのトリムは日本らしいけど進行状況であるということはない」ということは事実と異なればあの話型は細くない fact12: 「そのトリムは進行状況だ一方で日本らしくない」ということは成り立たない fact13: 「そのトリムは日本らしいし進行状況だ」ということは偽だ fact14: 「そのトリムは細くてさらに進行状況である」ということは成り立たない fact15: もし「何かは御辛いがしかしスカビオサでない」ということは成り立たないとしたら「研修センターだ」ということは確かだ fact16: 「あの話型は日本らしいしおまけに進行状況だ」ということは成り立たない fact17: もし仮に「ある物は研修センターでないけれど御辛い」ということは成り立たないとすればそれは研修センターだ fact18: 「「そのトリムが進行状況だしそれに細い」ということは成り立たない」ということは真実だ fact19: 「そのトリムは進行状況であるし更に日本らしい」ということは誤りである fact20: もし「そのトリムは進行状況だけれど細くない」ということは成り立たないならあの話型は日本らしくない fact21: もし仮に「そのトリムは細い一方で日本らしくない」ということは成り立たないとしたらあの話型は進行状況でない fact22: 研修センターは進行状況だ
fact21 & fact9 -> hypothesis;
fact21 & fact9 -> hypothesis;
あの話型は進行状況である
fact25 -> int1: もし仮に「あの話型は御辛いがスカビオサでない」ということは成り立たないとしたらそれは研修センターである; fact24 -> int2: 「丙である」ものはある;
$facts$ = fact1: この心理劇は進行状況でない fact2: もしそのトリムが細くないとしたらあの話型は進行状況であるということはない fact3: 「あの話型は進行状況であるし細い」ということは正しいということはない fact4: その最終順位は丙だ fact5: もしもそのトリムは折畳み式椅子であるとしたら「あの話型は御辛い一方でスカビオサだということはない」ということは間違っている fact6: あの話型は糸球体でない fact7: もしも何らかの物は研修センターでないとすると「天文台だし加えて香ばしかない」ということは成り立たない fact8: もし仮にそのトリムが進行状況であるならばあの話型は細くない fact9: 「そのトリムは細いがしかしそれは日本らしくない」ということは間違っている fact10: 「あの話型は細いけどそれは進行状況でない」ということは成り立たない fact11: もし「そのトリムは日本らしいけど進行状況であるということはない」ということは事実と異なればあの話型は細くない fact12: 「そのトリムは進行状況だ一方で日本らしくない」ということは成り立たない fact13: 「そのトリムは日本らしいし進行状況だ」ということは偽だ fact14: 「そのトリムは細くてさらに進行状況である」ということは成り立たない fact15: もし「何かは御辛いがしかしスカビオサでない」ということは成り立たないとしたら「研修センターだ」ということは確かだ fact16: 「あの話型は日本らしいしおまけに進行状況だ」ということは成り立たない fact17: もし仮に「ある物は研修センターでないけれど御辛い」ということは成り立たないとすればそれは研修センターだ fact18: 「「そのトリムが進行状況だしそれに細い」ということは成り立たない」ということは真実だ fact19: 「そのトリムは進行状況であるし更に日本らしい」ということは誤りである fact20: もし「そのトリムは進行状況だけれど細くない」ということは成り立たないならあの話型は日本らしくない fact21: もし仮に「そのトリムは細い一方で日本らしくない」ということは成り立たないとしたらあの話型は進行状況でない fact22: 研修センターは進行状況だ ; $hypothesis$ = あの話型は進行状況でない ; $proof$ = 
fact21 & fact9 -> hypothesis; __PROVED__
事実1: この心理劇は進行状況でない
事実2: もしそのトリムが細くないとしたらあの話型は進行状況であるということはない
事実3: 「あの話型は進行状況であるし細い」ということは正しいということはない
事実4: その最終順位は丙だ
事実5: もしもそのトリムは折畳み式椅子であるとしたら「あの話型は御辛い一方でスカビオサだということはない」ということは間違っている
事実6: あの話型は糸球体でない
事実7: もしも何らかの物は研修センターでないとすると「天文台だし加えて香ばしかない」ということは成り立たない
事実8: もし仮にそのトリムが進行状況であるならばあの話型は細くない
事実9: 「そのトリムは細いがしかしそれは日本らしくない」ということは間違っている
事実10: 「あの話型は細いけどそれは進行状況でない」ということは成り立たない
事実11: もし「そのトリムは日本らしいけど進行状況であるということはない」ということは事実と異なればあの話型は細くない
事実12: 「そのトリムは進行状況だ一方で日本らしくない」ということは成り立たない
事実13: 「そのトリムは日本らしいし進行状況だ」ということは偽だ
事実14: 「そのトリムは細くてさらに進行状況である」ということは成り立たない
事実15: もし「何かは御辛いがしかしスカビオサでない」ということは成り立たないとしたら「研修センターだ」ということは確かだ
事実16: 「あの話型は日本らしいしおまけに進行状況だ」ということは成り立たない
事実17: もし仮に「ある物は研修センターでないけれど御辛い」ということは成り立たないとすればそれは研修センターだ
事実18: 「「そのトリムが進行状況だしそれに細い」ということは成り立たない」ということは真実だ
事実19: 「そのトリムは進行状況であるし更に日本らしい」ということは誤りである
事実20: もし「そのトリムは進行状況だけれど細くない」ということは成り立たないならあの話型は日本らしくない
事実21: もし仮に「そのトリムは細い一方で日本らしくない」ということは成り立たないとしたらあの話型は進行状況でない
事実22: 研修センターは進行状況だ

仮説: あの話型は進行状況でない
1. 事実21と事実9から、仮説が導かれる

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