あの生活調査は日朝だし加えて所持人だ
fact1: この改行無しは所持人でない fact2: もし仮にこの改行無しが日朝でないしまた所持人でないとしたらあの生活調査は剥がれ落ちない fact3: もし仮にあの生活調査が所持人だ一方で剥がれ落ちないならばこの改行無しは日朝だということはない fact4: もし仮にあの生活調査が所持人でないとすればその米軍人は所持人だ fact5: もしもその米軍人が剥がれ落ちるがしかし正常域でないとしたらあの生活調査は日朝でない fact6: この改行無しは剥がれ落ちないしその上正常域だということはない fact7: その垂直応力は常連らしいしおまけに追加情報だ fact8: この改行無しは正常域でなくて所持人でない fact9: もしこの改行無しが剥がれ落ちないならばあの生活調査は剥がれ落ちるしその上日朝である fact10: あの生活調査は正常域でない fact11: もし仮にその米軍人が所持人であるということはないとすればあの生活調査は所持人だ fact12: あのインタフェースコレクションは所持人でない fact13: 仮に「あの生活調査は剥がれ落ちない」ということは正しいならこの改行無しは剥がれ落ちるし加えて所持人である fact14: 「仮にこの改行無しは剥がれ落ちるということはないし正常域でないとすると「その米軍人は日朝でない」ということは本当である」ということは事実である fact15: その四品目は用立てないしそれは日朝だということはない fact16: この改行無しは太り易い fact17: 「もし仮にその米軍人が日朝だということはないとしたらあの生活調査は日朝であるしおまけに所持人である」ということは成り立つ fact18: あの生活調査が日朝だけれどそれが所持人だということはないならその米軍人は剥がれ落ちない fact19: この価値連鎖は日朝でない fact20: その米軍人はＵインターだ
fact14 & fact6 -> int1: その米軍人は日朝でない; int1 & fact17 -> hypothesis;
fact14 & fact6 -> int1: ¬{B}{b}; int1 & fact17 -> hypothesis;
$facts$ = fact1: この改行無しは所持人でない fact2: もし仮にこの改行無しが日朝でないしまた所持人でないとしたらあの生活調査は剥がれ落ちない fact3: もし仮にあの生活調査が所持人だ一方で剥がれ落ちないならばこの改行無しは日朝だということはない fact4: もし仮にあの生活調査が所持人でないとすればその米軍人は所持人だ fact5: もしもその米軍人が剥がれ落ちるがしかし正常域でないとしたらあの生活調査は日朝でない fact6: この改行無しは剥がれ落ちないしその上正常域だということはない fact7: その垂直応力は常連らしいしおまけに追加情報だ fact8: この改行無しは正常域でなくて所持人でない fact9: もしこの改行無しが剥がれ落ちないならばあの生活調査は剥がれ落ちるしその上日朝である fact10: あの生活調査は正常域でない fact11: もし仮にその米軍人が所持人であるということはないとすればあの生活調査は所持人だ fact12: あのインタフェースコレクションは所持人でない fact13: 仮に「あの生活調査は剥がれ落ちない」ということは正しいならこの改行無しは剥がれ落ちるし加えて所持人である fact14: 「仮にこの改行無しは剥がれ落ちるということはないし正常域でないとすると「その米軍人は日朝でない」ということは本当である」ということは事実である fact15: その四品目は用立てないしそれは日朝だということはない fact16: この改行無しは太り易い fact17: 「もし仮にその米軍人が日朝だということはないとしたらあの生活調査は日朝であるしおまけに所持人である」ということは成り立つ fact18: あの生活調査が日朝だけれどそれが所持人だということはないならその米軍人は剥がれ落ちない fact19: この価値連鎖は日朝でない fact20: その米軍人はＵインターだ ; $hypothesis$ = あの生活調査は日朝だし加えて所持人だ ; $proof$ = 
fact14 & fact6 -> int1: その米軍人は日朝でない; int1 & fact17 -> hypothesis; __PROVED__
事実1: この改行無しは所持人でない
事実2: もし仮にこの改行無しが日朝でないしまた所持人でないとしたらあの生活調査は剥がれ落ちない
事実3: もし仮にあの生活調査が所持人だ一方で剥がれ落ちないならばこの改行無しは日朝だということはない
事実4: もし仮にあの生活調査が所持人でないとすればその米軍人は所持人だ
事実5: もしもその米軍人が剥がれ落ちるがしかし正常域でないとしたらあの生活調査は日朝でない
事実6: この改行無しは剥がれ落ちないしその上正常域だということはない
事実7: その垂直応力は常連らしいしおまけに追加情報だ
事実8: この改行無しは正常域でなくて所持人でない
事実9: もしこの改行無しが剥がれ落ちないならばあの生活調査は剥がれ落ちるしその上日朝である
事実10: あの生活調査は正常域でない
事実11: もし仮にその米軍人が所持人であるということはないとすればあの生活調査は所持人だ
事実12: あのインタフェースコレクションは所持人でない
事実13: 仮に「あの生活調査は剥がれ落ちない」ということは正しいならこの改行無しは剥がれ落ちるし加えて所持人である
事実14: 「仮にこの改行無しは剥がれ落ちるということはないし正常域でないとすると「その米軍人は日朝でない」ということは本当である」ということは事実である
事実15: その四品目は用立てないしそれは日朝だということはない
事実16: この改行無しは太り易い
事実17: 「もし仮にその米軍人が日朝だということはないとしたらあの生活調査は日朝であるしおまけに所持人である」ということは成り立つ
事実18: あの生活調査が日朝だけれどそれが所持人だということはないならその米軍人は剥がれ落ちない
事実19: この価値連鎖は日朝でない
事実20: その米軍人はＵインターだ

仮説: あの生活調査は日朝だし加えて所持人だ
1. 事実14と事実6から、推論1: "その米軍人は日朝でない"が導かれる
2. 推論1と事実17から、仮説が導かれる

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