「この普通林は届け出制度である」ということは本当である
fact1: もしこの普通林がジェリーだとすればこの溶解度はサツマ芋であるがしかし届け出制度でない fact2: 「この非循環式は届け出制度だ」ということは真実だ fact3: もし仮に「美し」ものはあるなら「この物々交換は交渉しないが各班である」ということは間違いだ fact4: あの兼子委員は届け出制度である fact5: この普通林がサツマ芋だとすればそれは届け出制度だ fact6: この普通林は接尾する fact7: 仮に何かは先人でないならば壊れ難くない一方で美し fact8: とある物が先人だとしたらそれは美し fact9: 「もし「とあるものはサツマ芋でそれにジェリーである」ということは偽だとしたらそれは届け出制度でない」ということは本当だ fact10: もしこの一次群速度インタフェースが壊れ難いということはないけどそれが美しならばあの物々交換は美しない fact11: なにかは交渉するとするとジェリーである fact12: あのファッション関係は届け出制度だ fact13: 美しない物は各班であるけれど交渉しない fact14: このハーベストは届け出制度である fact15: この普通林はサツマ芋だ fact16: 何もかもは先人だ fact17: 仮に「この物々交換は交渉しないけどそれは各班である」ということは成り立たないとしたら「この普通林は交渉する」ということは成り立つ fact18: この物々交換は交渉しないとすると「この普通林はサツマ芋であるしジェリーである」ということは偽である
fact5 & fact15 -> hypothesis;
fact5 & fact15 -> hypothesis;
「この普通林は届け出制度でない」ということは成り立つ
fact21 -> int1: もし「この普通林はサツマ芋で加えてジェリーである」ということは真実でないとすればそれは届け出制度でない; fact22 -> int2: もしこの物々交換が美しということはないならばそれは各班だがしかし交渉しない; fact20 -> int3: もしこの一次群速度インタフェースは先人でないならそれは壊れ難くないけど美し;
$facts$ = fact1: もしこの普通林がジェリーだとすればこの溶解度はサツマ芋であるがしかし届け出制度でない fact2: 「この非循環式は届け出制度だ」ということは真実だ fact3: もし仮に「美し」ものはあるなら「この物々交換は交渉しないが各班である」ということは間違いだ fact4: あの兼子委員は届け出制度である fact5: この普通林がサツマ芋だとすればそれは届け出制度だ fact6: この普通林は接尾する fact7: 仮に何かは先人でないならば壊れ難くない一方で美し fact8: とある物が先人だとしたらそれは美し fact9: 「もし「とあるものはサツマ芋でそれにジェリーである」ということは偽だとしたらそれは届け出制度でない」ということは本当だ fact10: もしこの一次群速度インタフェースが壊れ難いということはないけどそれが美しならばあの物々交換は美しない fact11: なにかは交渉するとするとジェリーである fact12: あのファッション関係は届け出制度だ fact13: 美しない物は各班であるけれど交渉しない fact14: このハーベストは届け出制度である fact15: この普通林はサツマ芋だ fact16: 何もかもは先人だ fact17: 仮に「この物々交換は交渉しないけどそれは各班である」ということは成り立たないとしたら「この普通林は交渉する」ということは成り立つ fact18: この物々交換は交渉しないとすると「この普通林はサツマ芋であるしジェリーである」ということは偽である ; $hypothesis$ = 「この普通林は届け出制度である」ということは本当である ; $proof$ = 
fact5 & fact15 -> hypothesis; __PROVED__
事実1: もしこの普通林がジェリーだとすればこの溶解度はサツマ芋であるがしかし届け出制度でない
事実2: 「この非循環式は届け出制度だ」ということは真実だ
事実3: もし仮に「美し」ものはあるなら「この物々交換は交渉しないが各班である」ということは間違いだ
事実4: あの兼子委員は届け出制度である
事実5: この普通林がサツマ芋だとすればそれは届け出制度だ
事実6: この普通林は接尾する
事実7: 仮に何かは先人でないならば壊れ難くない一方で美し
事実8: とある物が先人だとしたらそれは美し
事実9: 「もし「とあるものはサツマ芋でそれにジェリーである」ということは偽だとしたらそれは届け出制度でない」ということは本当だ
事実10: もしこの一次群速度インタフェースが壊れ難いということはないけどそれが美しならばあの物々交換は美しない
事実11: なにかは交渉するとするとジェリーである
事実12: あのファッション関係は届け出制度だ
事実13: 美しない物は各班であるけれど交渉しない
事実14: このハーベストは届け出制度である
事実15: この普通林はサツマ芋だ
事実16: 何もかもは先人だ
事実17: 仮に「この物々交換は交渉しないけどそれは各班である」ということは成り立たないとしたら「この普通林は交渉する」ということは成り立つ
事実18: この物々交換は交渉しないとすると「この普通林はサツマ芋であるしジェリーである」ということは偽である

仮説: 「この普通林は届け出制度である」ということは本当である
1. 事実5と事実15から、仮説が導かれる

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