あの住居税は通り難い
fact1: もし「あの減農薬・低農薬は来朝するか通り難い」ということは間違いだとしたらあの住居税は通り難いということはない fact2: とあるものが来朝すればそれは通り難い fact3: もしもあの呉音は変動費中心型でないなら「あの減農薬・低農薬は来朝するかあるいはそれは通り難い」ということは成り立たない fact4: 「あの住居税は来朝しなくて加えてそれは変動費中心型だということはない」ということは成り立たないとしたら「来朝する」ということは正しい fact5: もし「この懲り懲りは交遊するしかつ変動費中心型だ」ということは偽だとすればあの呉音は変動費中心型でない fact6: 「あの住居税は来朝しないし変動費中心型でない」ということは成り立たない
fact2 -> int1: あの住居税は来朝するなら「それは通り難い」ということは事実だ; fact4 & fact6 -> int2: あの住居税は来朝する; int1 & int2 -> hypothesis;
あの住居税は通り難くない
$facts$ = fact1: もし「あの減農薬・低農薬は来朝するか通り難い」ということは間違いだとしたらあの住居税は通り難いということはない fact2: とあるものが来朝すればそれは通り難い fact3: もしもあの呉音は変動費中心型でないなら「あの減農薬・低農薬は来朝するかあるいはそれは通り難い」ということは成り立たない fact4: 「あの住居税は来朝しなくて加えてそれは変動費中心型だということはない」ということは成り立たないとしたら「来朝する」ということは正しい fact5: もし「この懲り懲りは交遊するしかつ変動費中心型だ」ということは偽だとすればあの呉音は変動費中心型でない fact6: 「あの住居税は来朝しないし変動費中心型でない」ということは成り立たない ; $hypothesis$ = あの住居税は通り難い ; $proof$ = 
fact2 -> int1: あの住居税は来朝するなら「それは通り難い」ということは事実だ; fact4 & fact6 -> int2: あの住居税は来朝する; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「あの減農薬・低農薬は来朝するか通り難い」ということは間違いだとしたらあの住居税は通り難いということはない
事実2: とあるものが来朝すればそれは通り難い
事実3: もしもあの呉音は変動費中心型でないなら「あの減農薬・低農薬は来朝するかあるいはそれは通り難い」ということは成り立たない
事実4: 「あの住居税は来朝しなくて加えてそれは変動費中心型だということはない」ということは成り立たないとしたら「来朝する」ということは正しい
事実5: もし「この懲り懲りは交遊するしかつ変動費中心型だ」ということは偽だとすればあの呉音は変動費中心型でない
事実6: 「あの住居税は来朝しないし変動費中心型でない」ということは成り立たない

仮説: あの住居税は通り難い
1. 事実2から、推論1: "あの住居税は来朝するなら「それは通り難い」ということは事実だ"が導かれる
2. 事実4と事実6から、推論2: "あの住居税は来朝する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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