その走行キロ数は悄気るないかもしくは拍動するかあるいはどちらもである
fact1: もし仮にその殿様が伝わないとするとその走行キロ数は悄気るかもしくは入れ違わないかあるいは両方ともだ fact2: もしもその殿様が入れ違わないとするとその走行キロ数は五穀御飯であるかまたは伝うかもしくは両方ともだ fact3: もしなにかは五穀御飯であるかもしくは伝うということはないかどちらもならば買い易い fact4: その殿様は入れ違わない fact5: この助産婦等は入れ違わない fact6: もしその走行キロ数が悄気るか五穀御飯でないか両方ともだとしたらそれは入れ違う fact7: 仮にその走行キロ数が伝うということはないとすると買い易い fact8: 仮にその殿様が入れ違わないならばその走行キロ数は五穀御飯であるかあるいは伝わない fact9: その走行キロ数は五穀御飯であるかそれは伝う fact10: 仮にその走行キロ数が拍動しないとしたらその殿様は入れ違うかまたはそれは五穀御飯だ fact11: もしもその走行キロ数が五穀御飯であるかそれが拍動しないならそれは入れ違う fact12: もしもなにかは買い易いならば悄気るないかまたはそれは拍動する fact13: もしその殿様は買い易いとすれば「「その走行キロ数は悄気るないかもしくは拍動するかあるいはどちらもだ」ということは正しい」ということは偽だ
fact3 -> int1: もしその走行キロ数は五穀御飯であるかあるいは伝わないかあるいはどちらもだとすればそれは買い易い; fact4 & fact8 -> int2: その走行キロ数は五穀御飯であるかあるいは伝わないかもしくは両方である; int1 & int2 -> int3: その走行キロ数は買い易い; fact12 -> int4: その走行キロ数が買い易いとしたらそれは悄気るということはないかもしくは拍動するかもしくはどちらもだ; int3 & int4 -> hypothesis;
fact3 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact4 & fact8 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact12 -> int4: {B}{aa} -> (¬{A}{aa} v {C}{aa}); int3 & int4 -> hypothesis;
「その走行キロ数は悄気るということはないか拍動する」ということは誤っている
$facts$ = fact1: もし仮にその殿様が伝わないとするとその走行キロ数は悄気るかもしくは入れ違わないかあるいは両方ともだ fact2: もしもその殿様が入れ違わないとするとその走行キロ数は五穀御飯であるかまたは伝うかもしくは両方ともだ fact3: もしなにかは五穀御飯であるかもしくは伝うということはないかどちらもならば買い易い fact4: その殿様は入れ違わない fact5: この助産婦等は入れ違わない fact6: もしその走行キロ数が悄気るか五穀御飯でないか両方ともだとしたらそれは入れ違う fact7: 仮にその走行キロ数が伝うということはないとすると買い易い fact8: 仮にその殿様が入れ違わないならばその走行キロ数は五穀御飯であるかあるいは伝わない fact9: その走行キロ数は五穀御飯であるかそれは伝う fact10: 仮にその走行キロ数が拍動しないとしたらその殿様は入れ違うかまたはそれは五穀御飯だ fact11: もしもその走行キロ数が五穀御飯であるかそれが拍動しないならそれは入れ違う fact12: もしもなにかは買い易いならば悄気るないかまたはそれは拍動する fact13: もしその殿様は買い易いとすれば「「その走行キロ数は悄気るないかもしくは拍動するかあるいはどちらもだ」ということは正しい」ということは偽だ ; $hypothesis$ = その走行キロ数は悄気るないかもしくは拍動するかあるいはどちらもである ; $proof$ = 
fact3 -> int1: もしその走行キロ数は五穀御飯であるかあるいは伝わないかあるいはどちらもだとすればそれは買い易い; fact4 & fact8 -> int2: その走行キロ数は五穀御飯であるかあるいは伝わないかもしくは両方である; int1 & int2 -> int3: その走行キロ数は買い易い; fact12 -> int4: その走行キロ数が買い易いとしたらそれは悄気るということはないかもしくは拍動するかもしくはどちらもだ; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にその殿様が伝わないとするとその走行キロ数は悄気るかもしくは入れ違わないかあるいは両方ともだ
事実2: もしもその殿様が入れ違わないとするとその走行キロ数は五穀御飯であるかまたは伝うかもしくは両方ともだ
事実3: もしなにかは五穀御飯であるかもしくは伝うということはないかどちらもならば買い易い
事実4: その殿様は入れ違わない
事実5: この助産婦等は入れ違わない
事実6: もしその走行キロ数が悄気るか五穀御飯でないか両方ともだとしたらそれは入れ違う
事実7: 仮にその走行キロ数が伝うということはないとすると買い易い
事実8: 仮にその殿様が入れ違わないならばその走行キロ数は五穀御飯であるかあるいは伝わない
事実9: その走行キロ数は五穀御飯であるかそれは伝う
事実10: 仮にその走行キロ数が拍動しないとしたらその殿様は入れ違うかまたはそれは五穀御飯だ
事実11: もしもその走行キロ数が五穀御飯であるかそれが拍動しないならそれは入れ違う
事実12: もしもなにかは買い易いならば悄気るないかまたはそれは拍動する
事実13: もしその殿様は買い易いとすれば「「その走行キロ数は悄気るないかもしくは拍動するかあるいはどちらもだ」ということは正しい」ということは偽だ

仮説: その走行キロ数は悄気るないかもしくは拍動するかあるいはどちらもである
1. 事実3から、推論1: "もしその走行キロ数は五穀御飯であるかあるいは伝わないかあるいはどちらもだとすればそれは買い易い"が導かれる
2. 事実4と事実8から、推論2: "その走行キロ数は五穀御飯であるかあるいは伝わないかもしくは両方である"が導かれる
3. 推論1と推論2から、推論3: "その走行キロ数は買い易い"が導かれる
4. 事実12から、推論4: "その走行キロ数が買い易いとしたらそれは悄気るということはないかもしくは拍動するかもしくはどちらもだ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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