この改良工事は内部でない
fact1: 「「この標準品はふとっちょでないけれどそれは泣き噦る」ということは成り立つということはない」ということは誤っていない fact2: もしも「この標準品はふとっちょであるということはないしその上泣き噦るということはない」ということは成り立たないならこの改良工事は内部でない fact3: もしもその兵達が流れ出るとしたらそれはふとっちょである fact4: 「この標準品はふとっちょでないしおまけに流れ出ない」ということは偽だとすればその兵達は泣き噦るない fact5: 「この標準品はふとっちょであるけどそれは泣き噦るない」ということは成り立つということはない fact6: もしもこの改良工事は内部であるとするとそれは泣き噦る fact7: 「この標準品は流れ出ないしさらにふとっちょでない」ということは間違っている fact8: もし仮に「この改良工事は内部である」ということは成り立つとしたらそれはふとっちょである fact9: 「その残金は流れ出る」ということは成り立つ fact10: この改良工事は泣き噦る fact11: その兵達はふとっちょであるなら「この標準品はふとっちょだけれどそれは泣き噦るない」ということは誤っている fact12: この改良工事はふとっちょだ fact13: 仮にその兵達は流れ出るとすれば「この標準品は流れ出ないしその上ふとっちょでない」ということは事実と異なる fact14: 「その兵達は流れ出る」ということは成り立つ fact15: その兵達はＫオンドゥーでない fact16: その兵達は泣き噦るない fact17: もしもその兵達が泣き噦るならそれは流れ出る fact18: 仮にこの標準品がふとっちょでないならばあの兵達は流れ出るかあるいは内部である fact19: もし仮に「「この標準品はふとっちょでないしその上内部でない」ということは成り立つ」ということは成り立たないとしたらこの改良工事は流れ出ない fact20: もし仮にその兵達はふとっちょであるならば「この標準品はふとっちょでないがしかし泣き噦る」ということは誤りである fact21: もし「その兵達はふとっちょである」ということは成り立てば「この標準品はふとっちょでなくてそれは泣き噦るない」ということは誤りだ fact22: この標準品は内部でない fact23: その兵達は内部だ
fact3 & fact14 -> int1: その兵達はふとっちょである; int1 & fact21 -> int2: 「この標準品はふとっちょでなくて泣き噦るない」ということは偽である; int2 & fact2 -> hypothesis;
この改良工事は内部だ
$facts$ = fact1: 「「この標準品はふとっちょでないけれどそれは泣き噦る」ということは成り立つということはない」ということは誤っていない fact2: もしも「この標準品はふとっちょであるということはないしその上泣き噦るということはない」ということは成り立たないならこの改良工事は内部でない fact3: もしもその兵達が流れ出るとしたらそれはふとっちょである fact4: 「この標準品はふとっちょでないしおまけに流れ出ない」ということは偽だとすればその兵達は泣き噦るない fact5: 「この標準品はふとっちょであるけどそれは泣き噦るない」ということは成り立つということはない fact6: もしもこの改良工事は内部であるとするとそれは泣き噦る fact7: 「この標準品は流れ出ないしさらにふとっちょでない」ということは間違っている fact8: もし仮に「この改良工事は内部である」ということは成り立つとしたらそれはふとっちょである fact9: 「その残金は流れ出る」ということは成り立つ fact10: この改良工事は泣き噦る fact11: その兵達はふとっちょであるなら「この標準品はふとっちょだけれどそれは泣き噦るない」ということは誤っている fact12: この改良工事はふとっちょだ fact13: 仮にその兵達は流れ出るとすれば「この標準品は流れ出ないしその上ふとっちょでない」ということは事実と異なる fact14: 「その兵達は流れ出る」ということは成り立つ fact15: その兵達はＫオンドゥーでない fact16: その兵達は泣き噦るない fact17: もしもその兵達が泣き噦るならそれは流れ出る fact18: 仮にこの標準品がふとっちょでないならばあの兵達は流れ出るかあるいは内部である fact19: もし仮に「「この標準品はふとっちょでないしその上内部でない」ということは成り立つ」ということは成り立たないとしたらこの改良工事は流れ出ない fact20: もし仮にその兵達はふとっちょであるならば「この標準品はふとっちょでないがしかし泣き噦る」ということは誤りである fact21: もし「その兵達はふとっちょである」ということは成り立てば「この標準品はふとっちょでなくてそれは泣き噦るない」ということは誤りだ fact22: この標準品は内部でない fact23: その兵達は内部だ ; $hypothesis$ = この改良工事は内部でない ; $proof$ = 
fact3 & fact14 -> int1: その兵達はふとっちょである; int1 & fact21 -> int2: 「この標準品はふとっちょでなくて泣き噦るない」ということは偽である; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「「この標準品はふとっちょでないけれどそれは泣き噦る」ということは成り立つということはない」ということは誤っていない
事実2: もしも「この標準品はふとっちょであるということはないしその上泣き噦るということはない」ということは成り立たないならこの改良工事は内部でない
事実3: もしもその兵達が流れ出るとしたらそれはふとっちょである
事実4: 「この標準品はふとっちょでないしおまけに流れ出ない」ということは偽だとすればその兵達は泣き噦るない
事実5: 「この標準品はふとっちょであるけどそれは泣き噦るない」ということは成り立つということはない
事実6: もしもこの改良工事は内部であるとするとそれは泣き噦る
事実7: 「この標準品は流れ出ないしさらにふとっちょでない」ということは間違っている
事実8: もし仮に「この改良工事は内部である」ということは成り立つとしたらそれはふとっちょである
事実9: 「その残金は流れ出る」ということは成り立つ
事実10: この改良工事は泣き噦る
事実11: その兵達はふとっちょであるなら「この標準品はふとっちょだけれどそれは泣き噦るない」ということは誤っている
事実12: この改良工事はふとっちょだ
事実13: 仮にその兵達は流れ出るとすれば「この標準品は流れ出ないしその上ふとっちょでない」ということは事実と異なる
事実14: 「その兵達は流れ出る」ということは成り立つ
事実15: その兵達はＫオンドゥーでない
事実16: その兵達は泣き噦るない
事実17: もしもその兵達が泣き噦るならそれは流れ出る
事実18: 仮にこの標準品がふとっちょでないならばあの兵達は流れ出るかあるいは内部である
事実19: もし仮に「「この標準品はふとっちょでないしその上内部でない」ということは成り立つ」ということは成り立たないとしたらこの改良工事は流れ出ない
事実20: もし仮にその兵達はふとっちょであるならば「この標準品はふとっちょでないがしかし泣き噦る」ということは誤りである
事実21: もし「その兵達はふとっちょである」ということは成り立てば「この標準品はふとっちょでなくてそれは泣き噦るない」ということは誤りだ
事実22: この標準品は内部でない
事実23: その兵達は内部だ

仮説: この改良工事は内部でない
1. 事実3と事実14から、推論1: "その兵達はふとっちょである"が導かれる
2. 推論1と事実21から、推論2: "「この標準品はふとっちょでなくて泣き噦るない」ということは偽である"が導かれる
3. 推論2と事実2から、仮説が導かれる

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