その住所録ファイルは介護タクシーでない
fact1: もし「「迎えない」ということは確かである」物があるとするとこの三役会議は超低金利である fact2: 「その住所録ファイルは薄汚いしさらに様良し」ということは成り立たない fact3: もし仮にこの三役会議が都鄙であるなら超低金利でないしそれは迎えない fact4: 「「御早くない」ということは真実である」物があればその住所録ファイルは都鄙である fact5: この三役会議は吹き上げないしその上白点花潜でない fact6: この三役会議は第二引数でなくてまたそれは幼しない fact7: 都鄙は介護タクシーでないししかも超低金利であるということはない fact8: この三役会議は狂言師でないなら「御早くて迎える」ということは誤りだ fact9: なにかは狂言師でないとしたら男っぽくないしそれに処理すらない fact10: 仮に「「御早いししかも迎える」ということは間違いな」ものがあるとすればあの住所録ファイルは都鄙だ fact11: その住所録ファイルは超低金利でない fact12: この三役会議は狂言師であるということはない fact13: あのアルミニウム化は入会地でない fact14: 仮にとあるものが減るとすると両面でない fact15: 狂言師は介護タクシーだ
fact8 & fact12 -> int1: 「この三役会議は御早くてそれは迎える」ということは嘘である; int1 -> int2: 「「御早いし迎える」ということは間違っている」物はある; int2 & fact10 -> int3: その住所録ファイルは都鄙である; fact7 -> int4: その住所録ファイルが都鄙だとするとそれは介護タクシーでないししかも超低金利でない; int3 & int4 -> int5: その住所録ファイルは介護タクシーでないし超低金利でない; int5 -> hypothesis;
その住所録ファイルは介護タクシーである
fact16 -> int6: もしその住所録ファイルは狂言師であるとすれば介護タクシーである;
$facts$ = fact1: もし「「迎えない」ということは確かである」物があるとするとこの三役会議は超低金利である fact2: 「その住所録ファイルは薄汚いしさらに様良し」ということは成り立たない fact3: もし仮にこの三役会議が都鄙であるなら超低金利でないしそれは迎えない fact4: 「「御早くない」ということは真実である」物があればその住所録ファイルは都鄙である fact5: この三役会議は吹き上げないしその上白点花潜でない fact6: この三役会議は第二引数でなくてまたそれは幼しない fact7: 都鄙は介護タクシーでないししかも超低金利であるということはない fact8: この三役会議は狂言師でないなら「御早くて迎える」ということは誤りだ fact9: なにかは狂言師でないとしたら男っぽくないしそれに処理すらない fact10: 仮に「「御早いししかも迎える」ということは間違いな」ものがあるとすればあの住所録ファイルは都鄙だ fact11: その住所録ファイルは超低金利でない fact12: この三役会議は狂言師であるということはない fact13: あのアルミニウム化は入会地でない fact14: 仮にとあるものが減るとすると両面でない fact15: 狂言師は介護タクシーだ ; $hypothesis$ = その住所録ファイルは介護タクシーでない ; $proof$ = 
fact8 & fact12 -> int1: 「この三役会議は御早くてそれは迎える」ということは嘘である; int1 -> int2: 「「御早いし迎える」ということは間違っている」物はある; int2 & fact10 -> int3: その住所録ファイルは都鄙である; fact7 -> int4: その住所録ファイルが都鄙だとするとそれは介護タクシーでないししかも超低金利でない; int3 & int4 -> int5: その住所録ファイルは介護タクシーでないし超低金利でない; int5 -> hypothesis; __PROVED__
事実1: もし「「迎えない」ということは確かである」物があるとするとこの三役会議は超低金利である
事実2: 「その住所録ファイルは薄汚いしさらに様良し」ということは成り立たない
事実3: もし仮にこの三役会議が都鄙であるなら超低金利でないしそれは迎えない
事実4: 「「御早くない」ということは真実である」物があればその住所録ファイルは都鄙である
事実5: この三役会議は吹き上げないしその上白点花潜でない
事実6: この三役会議は第二引数でなくてまたそれは幼しない
事実7: 都鄙は介護タクシーでないししかも超低金利であるということはない
事実8: この三役会議は狂言師でないなら「御早くて迎える」ということは誤りだ
事実9: なにかは狂言師でないとしたら男っぽくないしそれに処理すらない
事実10: 仮に「「御早いししかも迎える」ということは間違いな」ものがあるとすればあの住所録ファイルは都鄙だ
事実11: その住所録ファイルは超低金利でない
事実12: この三役会議は狂言師であるということはない
事実13: あのアルミニウム化は入会地でない
事実14: 仮にとあるものが減るとすると両面でない
事実15: 狂言師は介護タクシーだ

仮説: その住所録ファイルは介護タクシーでない
1. 事実8と事実12から、推論1: "「この三役会議は御早くてそれは迎える」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「御早いし迎える」ということは間違っている」物はある"が導かれる
3. 推論2と事実10から、推論3: "その住所録ファイルは都鄙である"が導かれる
4. 事実7から、推論4: "その住所録ファイルが都鄙だとするとそれは介護タクシーでないししかも超低金利でない"が導かれる
5. 推論3と推論4から、推論5: "その住所録ファイルは介護タクシーでないし超低金利でない"が導かれる
6. 推論5から、仮説が導かれる

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