この撃鉄は良い
fact1: もし「固くない」物があるとすればあの撃鉄は良い fact2: もしもその悲愴感が専心しないし更に城野キャンプでないならば「それは固い」ということは成り立つ fact3: とある物は良い fact4: もし仮にとあるものが意欲するけどそれが固いということはないとしたらそれは良くない fact5: その悲愴感は固いとしたら「この恋愛中は固い」ということは確かだ fact6: 仮にその日本語ワードプロセッサが生臭いとしたらそのハノイ政府は寝かせない fact7: 仮にある物が寝かせないとすればそれは意欲しなくて堆くない fact8: 「寝かせない」ものはあるとしたら「この撃鉄は堆くないし更に衆人でない」ということは成り立つということはない fact9: そのハノイ政府が城野キャンプでないとするとこの恋愛中は衆人であるかまたは専心するか両方ともである fact10: 何らかのものは良くない fact11: もし仮にその悲愴感が生臭くないし統制し得ないとするとそのハノイ政府は城野キャンプでない fact12: その悲愴感は生臭くないし統制し得ない fact13: 「「固くない」ということは成り立つ」物はある fact14: その日本語ワードプロセッサは生臭い fact15: 堆い物は意欲する fact16: もし「なにかは堆くなくて衆人でない」ということは間違いならばそれは堆い
fact13 & fact1 -> hypothesis;
fact13 & fact1 -> hypothesis;
この撃鉄は良いということはない
fact20 -> int1: 仮にこの撃鉄は意欲するがしかし固くないならそれは良くない; fact19 -> int2: もし仮にこの撃鉄が堆いならば意欲する; fact21 -> int3: もし仮に「この撃鉄は堆くないしそれは衆人でない」ということは誤りだとすれば堆い; fact17 & fact22 -> int4: そのハノイ政府は寝かせない; int4 -> int5: なにかは寝かせない; int5 & fact23 -> int6: 「「この撃鉄は堆いということはなくて加えて衆人でない」ということは真実だ」ということは誤りである; int3 & int6 -> int7: 「この撃鉄は堆い」ということは正しい; int2 & int7 -> int8: この撃鉄は意欲する;
$facts$ = fact1: もし「固くない」物があるとすればあの撃鉄は良い fact2: もしもその悲愴感が専心しないし更に城野キャンプでないならば「それは固い」ということは成り立つ fact3: とある物は良い fact4: もし仮にとあるものが意欲するけどそれが固いということはないとしたらそれは良くない fact5: その悲愴感は固いとしたら「この恋愛中は固い」ということは確かだ fact6: 仮にその日本語ワードプロセッサが生臭いとしたらそのハノイ政府は寝かせない fact7: 仮にある物が寝かせないとすればそれは意欲しなくて堆くない fact8: 「寝かせない」ものはあるとしたら「この撃鉄は堆くないし更に衆人でない」ということは成り立つということはない fact9: そのハノイ政府が城野キャンプでないとするとこの恋愛中は衆人であるかまたは専心するか両方ともである fact10: 何らかのものは良くない fact11: もし仮にその悲愴感が生臭くないし統制し得ないとするとそのハノイ政府は城野キャンプでない fact12: その悲愴感は生臭くないし統制し得ない fact13: 「「固くない」ということは成り立つ」物はある fact14: その日本語ワードプロセッサは生臭い fact15: 堆い物は意欲する fact16: もし「なにかは堆くなくて衆人でない」ということは間違いならばそれは堆い ; $hypothesis$ = この撃鉄は良い ; $proof$ = 
fact13 & fact1 -> hypothesis; __PROVED__
事実1: もし「固くない」物があるとすればあの撃鉄は良い
事実2: もしもその悲愴感が専心しないし更に城野キャンプでないならば「それは固い」ということは成り立つ
事実3: とある物は良い
事実4: もし仮にとあるものが意欲するけどそれが固いということはないとしたらそれは良くない
事実5: その悲愴感は固いとしたら「この恋愛中は固い」ということは確かだ
事実6: 仮にその日本語ワードプロセッサが生臭いとしたらそのハノイ政府は寝かせない
事実7: 仮にある物が寝かせないとすればそれは意欲しなくて堆くない
事実8: 「寝かせない」ものはあるとしたら「この撃鉄は堆くないし更に衆人でない」ということは成り立つということはない
事実9: そのハノイ政府が城野キャンプでないとするとこの恋愛中は衆人であるかまたは専心するか両方ともである
事実10: 何らかのものは良くない
事実11: もし仮にその悲愴感が生臭くないし統制し得ないとするとそのハノイ政府は城野キャンプでない
事実12: その悲愴感は生臭くないし統制し得ない
事実13: 「「固くない」ということは成り立つ」物はある
事実14: その日本語ワードプロセッサは生臭い
事実15: 堆い物は意欲する
事実16: もし「なにかは堆くなくて衆人でない」ということは間違いならばそれは堆い

仮説: この撃鉄は良い
1. 事実13と事実1から、仮説が導かれる

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