この絵馬はぎらつかない
fact1: あの経費等は男っぽくないがしかし溶け難い fact2: 「「歯型であるということはない」ものはある」ということは正しい fact3: もしあの経費等が男っぽくないがそれが溶け難いとすればそれは修補しない fact4: 仮に「流れ付かない」ものはあれば「この絵馬は男っぽいかあるいはそれは修補しないかまたは両方である」ということは誤りだ fact5: もし仮に「この絵馬は納得し難いか流れ付く」ということは事実だということはないならばぎらつかない fact6: もしも何らかのものは流れ付くなら「それがぎらつかないしさらに修補する」ということは嘘である fact7: 「修補しない」ものはあれば「この絵馬は納得し難いかもしくはそれは流れ付かないかもしくはどちらもである」ということは間違いだ fact8: 「修補する」物はある fact9: 「なにかは納得し難いかもしくはそれは流れ付く」ということは間違いだとすれば「ぎらつかない」ということは本当だ fact10: この筋膜は納得し難くて更に申し遅れる fact11: この絵馬は流れ付く fact12: あの経費等は溶け難い fact13: もしもこの絵馬は溶け難くないけれど流れ付くとすれば納得し難くない fact14: もし「「ひりひりしなくてその上流れ付かない」ということは成り立たない」ものがあるならあの経費等は流れ付く fact15: 何らかの物は納得し難いなら「ひりひりしないしおまけに流れ付かない」ということは成り立たない fact16: もし「なにがしかの物は納得し難いかまたは流れ付かない」ということは間違いだとしたらそれはぎらつかない fact17: 「「修補しない」ものはある」ということは真実であるとするとこの絵馬は流れ付く
fact3 & fact1 -> int1: あの経費等は修補しない; int1 -> int2: 「修補しない」ものはある; int2 & fact7 -> int3: 「この絵馬は納得し難いかあるいは流れ付かない」ということは誤りである; fact16 -> int4: 仮に「「この絵馬は納得し難いか流れ付かないかあるいはどちらもである」ということは嘘だ」ということは本当であるとしたらそれはぎらつかない; int3 & int4 -> hypothesis;
この絵馬はぎらつく
fact21 -> int5: あの経費等は流れ付くとすれば「「ぎらつかないけど修補する」ということは成り立つ」ということは成り立たない; fact19 -> int6: 仮に「この筋膜は納得し難い」ということは事実であるとすると「それはひりひりしなくておまけに流れ付かない」ということは成り立たない; fact20 -> int7: この筋膜は納得し難い; int6 & int7 -> int8: 「この筋膜がひりひりしないしさらに流れ付かない」ということは間違いだ; int8 -> int9: 「「ひりひりしなくてその上流れ付かない」ということは成り立つということはない」物はある; int9 & fact18 -> int10: あの経費等は流れ付く; int5 & int10 -> int11: 「「あの経費等はぎらつかない一方で修補する」ということは間違いだ」ということは成り立つ; int11 -> int12: 「「ぎらつかなくてしかも修補する」ということは間違っている」ものはある;
$facts$ = fact1: あの経費等は男っぽくないがしかし溶け難い fact2: 「「歯型であるということはない」ものはある」ということは正しい fact3: もしあの経費等が男っぽくないがそれが溶け難いとすればそれは修補しない fact4: 仮に「流れ付かない」ものはあれば「この絵馬は男っぽいかあるいはそれは修補しないかまたは両方である」ということは誤りだ fact5: もし仮に「この絵馬は納得し難いか流れ付く」ということは事実だということはないならばぎらつかない fact6: もしも何らかのものは流れ付くなら「それがぎらつかないしさらに修補する」ということは嘘である fact7: 「修補しない」ものはあれば「この絵馬は納得し難いかもしくはそれは流れ付かないかもしくはどちらもである」ということは間違いだ fact8: 「修補する」物はある fact9: 「なにかは納得し難いかもしくはそれは流れ付く」ということは間違いだとすれば「ぎらつかない」ということは本当だ fact10: この筋膜は納得し難くて更に申し遅れる fact11: この絵馬は流れ付く fact12: あの経費等は溶け難い fact13: もしもこの絵馬は溶け難くないけれど流れ付くとすれば納得し難くない fact14: もし「「ひりひりしなくてその上流れ付かない」ということは成り立たない」ものがあるならあの経費等は流れ付く fact15: 何らかの物は納得し難いなら「ひりひりしないしおまけに流れ付かない」ということは成り立たない fact16: もし「なにがしかの物は納得し難いかまたは流れ付かない」ということは間違いだとしたらそれはぎらつかない fact17: 「「修補しない」ものはある」ということは真実であるとするとこの絵馬は流れ付く ; $hypothesis$ = この絵馬はぎらつかない ; $proof$ = 
fact3 & fact1 -> int1: あの経費等は修補しない; int1 -> int2: 「修補しない」ものはある; int2 & fact7 -> int3: 「この絵馬は納得し難いかあるいは流れ付かない」ということは誤りである; fact16 -> int4: 仮に「「この絵馬は納得し難いか流れ付かないかあるいはどちらもである」ということは嘘だ」ということは本当であるとしたらそれはぎらつかない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの経費等は男っぽくないがしかし溶け難い
事実2: 「「歯型であるということはない」ものはある」ということは正しい
事実3: もしあの経費等が男っぽくないがそれが溶け難いとすればそれは修補しない
事実4: 仮に「流れ付かない」ものはあれば「この絵馬は男っぽいかあるいはそれは修補しないかまたは両方である」ということは誤りだ
事実5: もし仮に「この絵馬は納得し難いか流れ付く」ということは事実だということはないならばぎらつかない
事実6: もしも何らかのものは流れ付くなら「それがぎらつかないしさらに修補する」ということは嘘である
事実7: 「修補しない」ものはあれば「この絵馬は納得し難いかもしくはそれは流れ付かないかもしくはどちらもである」ということは間違いだ
事実8: 「修補する」物はある
事実9: 「なにかは納得し難いかもしくはそれは流れ付く」ということは間違いだとすれば「ぎらつかない」ということは本当だ
事実10: この筋膜は納得し難くて更に申し遅れる
事実11: この絵馬は流れ付く
事実12: あの経費等は溶け難い
事実13: もしもこの絵馬は溶け難くないけれど流れ付くとすれば納得し難くない
事実14: もし「「ひりひりしなくてその上流れ付かない」ということは成り立たない」ものがあるならあの経費等は流れ付く
事実15: 何らかの物は納得し難いなら「ひりひりしないしおまけに流れ付かない」ということは成り立たない
事実16: もし「なにがしかの物は納得し難いかまたは流れ付かない」ということは間違いだとしたらそれはぎらつかない
事実17: 「「修補しない」ものはある」ということは真実であるとするとこの絵馬は流れ付く

仮説: この絵馬はぎらつかない
1. 事実3と事実1から、推論1: "あの経費等は修補しない"が導かれる
2. 推論1から、推論2: "「修補しない」ものはある"が導かれる
3. 推論2と事実7から、推論3: "「この絵馬は納得し難いかあるいは流れ付かない」ということは誤りである"が導かれる
4. 事実16から、推論4: "仮に「「この絵馬は納得し難いか流れ付かないかあるいはどちらもである」ということは嘘だ」ということは本当であるとしたらそれはぎらつかない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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