このＰＴＥは燃え易くない
fact1: この統治形態は発動出来る fact2: その従弟は発動出来るし更に存続する fact3: その歯磨き粉は捧ぐ fact4: 仮にその従弟が経験上であるけれど発動出来ないとしたらこの統治形態は理解し易くない fact5: 仮にある物が泥臭くないとしたらその通園は発動出来ないかもしくはそれは泥臭くないかまたは両方である fact6: このＰＴＥは泥臭い fact7: 「その通園は泥臭くない」ということは事実だ fact8: 愛くるしくない物は同軸線路内である fact9: この統治形態は経験上でないとすると愛くるしい fact10: このＰＴＥは姪達でないかまたはそれは発動出来ない fact11: 何かは加速償却でないとしたらそれはしつっこい fact12: 何かは同軸線路内だ fact13: この統治形態は発動出来るとすると「経験上だ」ということは確かだ fact14: もし仮に「なにかは泥臭くない」ということは成り立てば「それは同軸線路内である」ということは確かである fact15: もしこのＰＴＥが入室しないとするとそれは経験上だ fact16: 仮に「泥臭くない」ものがあるとすればその従弟は愛くるしくないか泥臭くないかもしくは両方である fact17: この統治形態が経験上であるならその従弟は捧ぐということはないけれど経験上である fact18: もしあるものが同軸線路内だし経験上であるとすればこのＰＴＥは燃え易い fact19: その通園は発動出来る fact20: なんらかのものは点検整備だ fact21: もしもこのＰＴＥは経験上だとすれば「それは燃え易いということはないし加えて発動出来る」ということは事実と異ならない fact22: あのリフレクトロン型アナライザは発動出来る fact23: このＰＴＥは燃え易くないかもしくはそれは同軸線路内でない
fact13 & fact1 -> int1: この統治形態は経験上だ; int1 & fact17 -> int2: その従弟は捧げないが経験上である; int2 -> int3: 「その従弟は経験上だ」ということは成り立つ; fact7 -> int4: 「泥臭くない」物はある; fact16 & int4 -> int5: その従弟は愛くるしくないかまたは泥臭くないか両方ともだ; fact8 -> int6: もし仮にその従弟が愛くるしくないならばそれは同軸線路内だ; fact14 -> int7: もしもその従弟が泥臭くないとしたらそれは同軸線路内だ; int5 & int6 & int7 -> int8: その従弟は同軸線路内である; int3 & int8 -> int9: その従弟は同軸線路内で経験上だ; int9 -> int10: 「同軸線路内でその上経験上な」ものはある; int10 & fact18 -> hypothesis;
「「理解し易くない」ということは正しい」物はある
$facts$ = fact1: この統治形態は発動出来る fact2: その従弟は発動出来るし更に存続する fact3: その歯磨き粉は捧ぐ fact4: 仮にその従弟が経験上であるけれど発動出来ないとしたらこの統治形態は理解し易くない fact5: 仮にある物が泥臭くないとしたらその通園は発動出来ないかもしくはそれは泥臭くないかまたは両方である fact6: このＰＴＥは泥臭い fact7: 「その通園は泥臭くない」ということは事実だ fact8: 愛くるしくない物は同軸線路内である fact9: この統治形態は経験上でないとすると愛くるしい fact10: このＰＴＥは姪達でないかまたはそれは発動出来ない fact11: 何かは加速償却でないとしたらそれはしつっこい fact12: 何かは同軸線路内だ fact13: この統治形態は発動出来るとすると「経験上だ」ということは確かだ fact14: もし仮に「なにかは泥臭くない」ということは成り立てば「それは同軸線路内である」ということは確かである fact15: もしこのＰＴＥが入室しないとするとそれは経験上だ fact16: 仮に「泥臭くない」ものがあるとすればその従弟は愛くるしくないか泥臭くないかもしくは両方である fact17: この統治形態が経験上であるならその従弟は捧ぐということはないけれど経験上である fact18: もしあるものが同軸線路内だし経験上であるとすればこのＰＴＥは燃え易い fact19: その通園は発動出来る fact20: なんらかのものは点検整備だ fact21: もしもこのＰＴＥは経験上だとすれば「それは燃え易いということはないし加えて発動出来る」ということは事実と異ならない fact22: あのリフレクトロン型アナライザは発動出来る fact23: このＰＴＥは燃え易くないかもしくはそれは同軸線路内でない ; $hypothesis$ = このＰＴＥは燃え易くない ; $proof$ = 
fact13 & fact1 -> int1: この統治形態は経験上だ; int1 & fact17 -> int2: その従弟は捧げないが経験上である; int2 -> int3: 「その従弟は経験上だ」ということは成り立つ; fact7 -> int4: 「泥臭くない」物はある; fact16 & int4 -> int5: その従弟は愛くるしくないかまたは泥臭くないか両方ともだ; fact8 -> int6: もし仮にその従弟が愛くるしくないならばそれは同軸線路内だ; fact14 -> int7: もしもその従弟が泥臭くないとしたらそれは同軸線路内だ; int5 & int6 & int7 -> int8: その従弟は同軸線路内である; int3 & int8 -> int9: その従弟は同軸線路内で経験上だ; int9 -> int10: 「同軸線路内でその上経験上な」ものはある; int10 & fact18 -> hypothesis; __DISPROVED__
事実1: この統治形態は発動出来る
事実2: その従弟は発動出来るし更に存続する
事実3: その歯磨き粉は捧ぐ
事実4: 仮にその従弟が経験上であるけれど発動出来ないとしたらこの統治形態は理解し易くない
事実5: 仮にある物が泥臭くないとしたらその通園は発動出来ないかもしくはそれは泥臭くないかまたは両方である
事実6: このＰＴＥは泥臭い
事実7: 「その通園は泥臭くない」ということは事実だ
事実8: 愛くるしくない物は同軸線路内である
事実9: この統治形態は経験上でないとすると愛くるしい
事実10: このＰＴＥは姪達でないかまたはそれは発動出来ない
事実11: 何かは加速償却でないとしたらそれはしつっこい
事実12: 何かは同軸線路内だ
事実13: この統治形態は発動出来るとすると「経験上だ」ということは確かだ
事実14: もし仮に「なにかは泥臭くない」ということは成り立てば「それは同軸線路内である」ということは確かである
事実15: もしこのＰＴＥが入室しないとするとそれは経験上だ
事実16: 仮に「泥臭くない」ものがあるとすればその従弟は愛くるしくないか泥臭くないかもしくは両方である
事実17: この統治形態が経験上であるならその従弟は捧ぐということはないけれど経験上である
事実18: もしあるものが同軸線路内だし経験上であるとすればこのＰＴＥは燃え易い
事実19: その通園は発動出来る
事実20: なんらかのものは点検整備だ
事実21: もしもこのＰＴＥは経験上だとすれば「それは燃え易いということはないし加えて発動出来る」ということは事実と異ならない
事実22: あのリフレクトロン型アナライザは発動出来る
事実23: このＰＴＥは燃え易くないかもしくはそれは同軸線路内でない

仮説: このＰＴＥは燃え易くない
1. 事実13と事実1から、推論1: "この統治形態は経験上だ"が導かれる
2. 推論1と事実17から、推論2: "その従弟は捧げないが経験上である"が導かれる
3. 推論2から、推論3: "「その従弟は経験上だ」ということは成り立つ"が導かれる
4. 事実7から、推論4: "「泥臭くない」物はある"が導かれる
5. 事実16と推論4から、推論5: "その従弟は愛くるしくないかまたは泥臭くないか両方ともだ"が導かれる
6. 事実8から、推論6: "もし仮にその従弟が愛くるしくないならばそれは同軸線路内だ"が導かれる
7. 事実14から、推論7: "もしもその従弟が泥臭くないとしたらそれは同軸線路内だ"が導かれる
8. 推論5と推論6と推論7から、推論8: "その従弟は同軸線路内である"が導かれる
9. 推論3と推論8から、推論9: "その従弟は同軸線路内で経験上だ"が導かれる
10. 推論9から、推論10: "「同軸線路内でその上経験上な」ものはある"が導かれる
11. 推論10と事実18から、仮説が否定される

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