この放送局は団栗でない
fact1: あの猫ボタンはイオン化マグネシウム濃度でまた弾き易い fact2: もし仮に何らかのものは置き易いならば「イオン化マグネシウム濃度でないしおまけに団栗でない」ということは間違いだ fact3: 手酷いものは訳無い fact4: あの猫ボタンが捩じ曲がればそれは団栗だ fact5: 「あの大本事件は御参列頂く」ということは真実である fact6: その危険分子は注意深い fact7: 「あの猫ボタンは御参列頂く」ということは確かであるならばあの放送局は団栗だ fact8: もしとある物が捩じ曲がればそれは御参列頂く fact9: もし仮にその危険分子が注意深いとすればこの放送局は置き易い fact10: もしあの猫ボタンが御参列頂くし弾き易いならこの通路側は弾き易くない fact11: もしもある物は団栗であるとしたらそれは捩じ曲がる fact12: もしなにかは捩じ曲がるかまたは弾き易いということはないならば捩じ曲がる fact13: もし仮に「なんらかのものはイオン化マグネシウム濃度でないしまた団栗でない」ということは事実と異なるとするとそれはイオン化マグネシウム濃度だ fact14: 仮に何らかのものはイオン化マグネシウム濃度であるとすれば捩じ曲がる
fact1 -> int1: あの猫ボタンはイオン化マグネシウム濃度である; fact14 -> int2: もしも「あの猫ボタンはイオン化マグネシウム濃度である」ということは真実だとするとそれは捩じ曲がる; int1 & int2 -> int3: 「あの猫ボタンは捩じ曲がる」ということは成り立つ; fact8 -> int4: もし仮にあの猫ボタンが捩じ曲がるとしたら御参列頂く; int3 & int4 -> int5: あの猫ボタンは御参列頂く; int5 & fact7 -> hypothesis;
この通路側は捩じ曲がる
fact20 -> int6: もしもこの通路側は捩じ曲がるかあるいは弾き易くないか両方ともであるとすると捩じ曲がる; fact19 -> int7: 仮に「この放送局はイオン化マグネシウム濃度でないしさらに団栗でない」ということは偽であるとすればそれはイオン化マグネシウム濃度である; fact16 -> int8: もしこの放送局は置き易いとしたら「イオン化マグネシウム濃度でなくてかつ団栗でない」ということは成り立たない; fact15 & fact17 -> int9: この放送局は置き易い; int8 & int9 -> int10: 「「この放送局はイオン化マグネシウム濃度でなくて団栗でない」ということは成り立つ」ということは正しくない; int7 & int10 -> int11: この放送局はイオン化マグネシウム濃度である; int11 -> int12: 何らかの物はイオン化マグネシウム濃度だ;
$facts$ = fact1: あの猫ボタンはイオン化マグネシウム濃度でまた弾き易い fact2: もし仮に何らかのものは置き易いならば「イオン化マグネシウム濃度でないしおまけに団栗でない」ということは間違いだ fact3: 手酷いものは訳無い fact4: あの猫ボタンが捩じ曲がればそれは団栗だ fact5: 「あの大本事件は御参列頂く」ということは真実である fact6: その危険分子は注意深い fact7: 「あの猫ボタンは御参列頂く」ということは確かであるならばあの放送局は団栗だ fact8: もしとある物が捩じ曲がればそれは御参列頂く fact9: もし仮にその危険分子が注意深いとすればこの放送局は置き易い fact10: もしあの猫ボタンが御参列頂くし弾き易いならこの通路側は弾き易くない fact11: もしもある物は団栗であるとしたらそれは捩じ曲がる fact12: もしなにかは捩じ曲がるかまたは弾き易いということはないならば捩じ曲がる fact13: もし仮に「なんらかのものはイオン化マグネシウム濃度でないしまた団栗でない」ということは事実と異なるとするとそれはイオン化マグネシウム濃度だ fact14: 仮に何らかのものはイオン化マグネシウム濃度であるとすれば捩じ曲がる ; $hypothesis$ = この放送局は団栗でない ; $proof$ = 
fact1 -> int1: あの猫ボタンはイオン化マグネシウム濃度である; fact14 -> int2: もしも「あの猫ボタンはイオン化マグネシウム濃度である」ということは真実だとするとそれは捩じ曲がる; int1 & int2 -> int3: 「あの猫ボタンは捩じ曲がる」ということは成り立つ; fact8 -> int4: もし仮にあの猫ボタンが捩じ曲がるとしたら御参列頂く; int3 & int4 -> int5: あの猫ボタンは御参列頂く; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: あの猫ボタンはイオン化マグネシウム濃度でまた弾き易い
事実2: もし仮に何らかのものは置き易いならば「イオン化マグネシウム濃度でないしおまけに団栗でない」ということは間違いだ
事実3: 手酷いものは訳無い
事実4: あの猫ボタンが捩じ曲がればそれは団栗だ
事実5: 「あの大本事件は御参列頂く」ということは真実である
事実6: その危険分子は注意深い
事実7: 「あの猫ボタンは御参列頂く」ということは確かであるならばあの放送局は団栗だ
事実8: もしとある物が捩じ曲がればそれは御参列頂く
事実9: もし仮にその危険分子が注意深いとすればこの放送局は置き易い
事実10: もしあの猫ボタンが御参列頂くし弾き易いならこの通路側は弾き易くない
事実11: もしもある物は団栗であるとしたらそれは捩じ曲がる
事実12: もしなにかは捩じ曲がるかまたは弾き易いということはないならば捩じ曲がる
事実13: もし仮に「なんらかのものはイオン化マグネシウム濃度でないしまた団栗でない」ということは事実と異なるとするとそれはイオン化マグネシウム濃度だ
事実14: 仮に何らかのものはイオン化マグネシウム濃度であるとすれば捩じ曲がる

仮説: この放送局は団栗でない
1. 事実1から、推論1: "あの猫ボタンはイオン化マグネシウム濃度である"が導かれる
2. 事実14から、推論2: "もしも「あの猫ボタンはイオン化マグネシウム濃度である」ということは真実だとするとそれは捩じ曲がる"が導かれる
3. 推論1と推論2から、推論3: "「あの猫ボタンは捩じ曲がる」ということは成り立つ"が導かれる
4. 事実8から、推論4: "もし仮にあの猫ボタンが捩じ曲がるとしたら御参列頂く"が導かれる
5. 推論3と推論4から、推論5: "あの猫ボタンは御参列頂く"が導かれる
6. 推論5と事実7から、仮説が否定される

よって、仮説が否定されました。