その住宅供給は理屈っぽい
fact1: 「その住宅供給は雪明かりでなくて加えてそれは理屈っぽいということはない」ということは正しくない fact2: 「「なんらかのものは呆れるかもしくは源泉徴収選択口座内でないか両方ともである」ということは正しい」ということは間違っているとすると理屈っぽくない fact3: 仮に「「何らかのものは伸縮しないし更に頑是無くない」ということは本当だ」ということは成り立たないなら理屈っぽい fact4: それは伸縮しなくて頑是無くないというものはない fact5: 賢くないし忘れっぽいということはない物はない fact6: 仮に何らかの物は腹立たしいとすれば「おっそろし」ということは真実である fact7: それはチベット密教であるし加えて男らしくないという物はない fact8: それは在来技術でないしさらに日本武道館でないという物はない fact9: 「その住宅供給は伸縮するけれど逃れ難いということはない」ということは成り立たない fact10: それは伸縮するし加えて頑是無くないという物はない
fact4 -> int1: 「その住宅供給は伸縮しなくてまた頑是無いということはない」ということは成り立たない; fact3 -> int2: もし「その住宅供給が伸縮しないしさらに頑是無くない」ということは成り立たないなら「それは理屈っぽい」ということは真実である; int1 & int2 -> hypothesis;
その住宅供給は理屈っぽくない
fact11 -> int3: 「その住宅供給は呆れるか源泉徴収選択口座内でないかまたはどちらもである」ということは偽であるなら理屈っぽくない;
$facts$ = fact1: 「その住宅供給は雪明かりでなくて加えてそれは理屈っぽいということはない」ということは正しくない fact2: 「「なんらかのものは呆れるかもしくは源泉徴収選択口座内でないか両方ともである」ということは正しい」ということは間違っているとすると理屈っぽくない fact3: 仮に「「何らかのものは伸縮しないし更に頑是無くない」ということは本当だ」ということは成り立たないなら理屈っぽい fact4: それは伸縮しなくて頑是無くないというものはない fact5: 賢くないし忘れっぽいということはない物はない fact6: 仮に何らかの物は腹立たしいとすれば「おっそろし」ということは真実である fact7: それはチベット密教であるし加えて男らしくないという物はない fact8: それは在来技術でないしさらに日本武道館でないという物はない fact9: 「その住宅供給は伸縮するけれど逃れ難いということはない」ということは成り立たない fact10: それは伸縮するし加えて頑是無くないという物はない ; $hypothesis$ = その住宅供給は理屈っぽい ; $proof$ = 
fact4 -> int1: 「その住宅供給は伸縮しなくてまた頑是無いということはない」ということは成り立たない; fact3 -> int2: もし「その住宅供給が伸縮しないしさらに頑是無くない」ということは成り立たないなら「それは理屈っぽい」ということは真実である; int1 & int2 -> hypothesis; __PROVED__
事実1: 「その住宅供給は雪明かりでなくて加えてそれは理屈っぽいということはない」ということは正しくない
事実2: 「「なんらかのものは呆れるかもしくは源泉徴収選択口座内でないか両方ともである」ということは正しい」ということは間違っているとすると理屈っぽくない
事実3: 仮に「「何らかのものは伸縮しないし更に頑是無くない」ということは本当だ」ということは成り立たないなら理屈っぽい
事実4: それは伸縮しなくて頑是無くないというものはない
事実5: 賢くないし忘れっぽいということはない物はない
事実6: 仮に何らかの物は腹立たしいとすれば「おっそろし」ということは真実である
事実7: それはチベット密教であるし加えて男らしくないという物はない
事実8: それは在来技術でないしさらに日本武道館でないという物はない
事実9: 「その住宅供給は伸縮するけれど逃れ難いということはない」ということは成り立たない
事実10: それは伸縮するし加えて頑是無くないという物はない

仮説: その住宅供給は理屈っぽい
1. 事実4から、推論1: "「その住宅供給は伸縮しなくてまた頑是無いということはない」ということは成り立たない"が導かれる
2. 事実3から、推論2: "もし「その住宅供給が伸縮しないしさらに頑是無くない」ということは成り立たないなら「それは理屈っぽい」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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