このフォースは弁済使だ
fact1: なんらかのものが弁済使でないなら改装工事であるかもしくはそれは常連らしいかあるいは両方ともだ fact2: もし仮にこのフォースが改装工事だとするとあの反応パターンは弁済使である fact3: もしとあるものが受注するとするとそれは選り好みしないけど情報漏れである fact4: 「このフォースは監視し易い」ということは本当であるならそれは改装工事だ fact5: もしあの反応パターンが常連らしいとすればそれは改装工事だ fact6: あのガトウィック・エクスプレスは堅苦しいか胡麻和えであるかまたはどちらもだ fact7: もし仮に「このフォースは常連らしい」ということは誤っていないならあの反応パターンは監視し易い fact8: もしこのフォースが監視し易いとすれば弁済使である fact9: もし仮にその接続が胡麻和えならあの金刀比羅宮は胡麻和えである fact10: 仮に「このフォースは常連らしい」ということは成り立つとすれば「それは監視し易い」ということは確かである fact11: 「あの反応パターンは改装工事である」ということは成り立つとしたらこのフォースは監視し易い fact12: この活動写真は監視し易い fact13: あの反応パターンは常連らしい fact14: あの反応パターンは改装工事であるならばそれは弁済使だ fact15: 仮にあの金刀比羅宮が胡麻和えならその巨乳は受注する
fact5 & fact13 -> int1: あの反応パターンは改装工事である; int1 & fact11 -> int2: このフォースは監視し易い; int2 & fact8 -> hypothesis;
fact5 & fact13 -> int1: {B}{a}; int1 & fact11 -> int2: {C}{b}; int2 & fact8 -> hypothesis;
あの反応パターンは監視し易い
fact17 -> int3: もしこのフォースが弁済使でないとすればそれは改装工事であるか常連らしいか両方である; fact20 -> int4: 仮にその巨乳が受注するならそれは選り好みしないけど情報漏れである;
$facts$ = fact1: なんらかのものが弁済使でないなら改装工事であるかもしくはそれは常連らしいかあるいは両方ともだ fact2: もし仮にこのフォースが改装工事だとするとあの反応パターンは弁済使である fact3: もしとあるものが受注するとするとそれは選り好みしないけど情報漏れである fact4: 「このフォースは監視し易い」ということは本当であるならそれは改装工事だ fact5: もしあの反応パターンが常連らしいとすればそれは改装工事だ fact6: あのガトウィック・エクスプレスは堅苦しいか胡麻和えであるかまたはどちらもだ fact7: もし仮に「このフォースは常連らしい」ということは誤っていないならあの反応パターンは監視し易い fact8: もしこのフォースが監視し易いとすれば弁済使である fact9: もし仮にその接続が胡麻和えならあの金刀比羅宮は胡麻和えである fact10: 仮に「このフォースは常連らしい」ということは成り立つとすれば「それは監視し易い」ということは確かである fact11: 「あの反応パターンは改装工事である」ということは成り立つとしたらこのフォースは監視し易い fact12: この活動写真は監視し易い fact13: あの反応パターンは常連らしい fact14: あの反応パターンは改装工事であるならばそれは弁済使だ fact15: 仮にあの金刀比羅宮が胡麻和えならその巨乳は受注する ; $hypothesis$ = このフォースは弁済使だ ; $proof$ = 
fact5 & fact13 -> int1: あの反応パターンは改装工事である; int1 & fact11 -> int2: このフォースは監視し易い; int2 & fact8 -> hypothesis; __PROVED__
事実1: なんらかのものが弁済使でないなら改装工事であるかもしくはそれは常連らしいかあるいは両方ともだ
事実2: もし仮にこのフォースが改装工事だとするとあの反応パターンは弁済使である
事実3: もしとあるものが受注するとするとそれは選り好みしないけど情報漏れである
事実4: 「このフォースは監視し易い」ということは本当であるならそれは改装工事だ
事実5: もしあの反応パターンが常連らしいとすればそれは改装工事だ
事実6: あのガトウィック・エクスプレスは堅苦しいか胡麻和えであるかまたはどちらもだ
事実7: もし仮に「このフォースは常連らしい」ということは誤っていないならあの反応パターンは監視し易い
事実8: もしこのフォースが監視し易いとすれば弁済使である
事実9: もし仮にその接続が胡麻和えならあの金刀比羅宮は胡麻和えである
事実10: 仮に「このフォースは常連らしい」ということは成り立つとすれば「それは監視し易い」ということは確かである
事実11: 「あの反応パターンは改装工事である」ということは成り立つとしたらこのフォースは監視し易い
事実12: この活動写真は監視し易い
事実13: あの反応パターンは常連らしい
事実14: あの反応パターンは改装工事であるならばそれは弁済使だ
事実15: 仮にあの金刀比羅宮が胡麻和えならその巨乳は受注する

仮説: このフォースは弁済使だ
1. 事実5と事実13から、推論1: "あの反応パターンは改装工事である"が導かれる
2. 推論1と事実11から、推論2: "このフォースは監視し易い"が導かれる
3. 推論2と事実8から、仮説が導かれる

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