その異端審問は伝わり易くないし凍死するということはない
fact1: このパティが騒々しくないとすればそれは林野率である fact2: 騒々しくないか聡い物は林野率である fact3: もし何らかの物は林野率でないとすると「錆無くなくてそれにそれは立ち直れない」ということは嘘だ fact4: もしも「このパティは錆無くないしその上それは立ち直れない」ということは間違いだとすればその異端審問は立ち直らない fact5: もしもこのパティは立ち直らないならば「それは騒々しくないか聡いかもしくはどちらもだ」ということは本当である fact6: もしその冶金は錆無くないならば「「その異端審問が伝わり易くないしさらにそれは凍死しない」ということは成り立つということはない」ということは真実である fact7: そのベビーカーは立ち直れるということはない fact8: このパティが林野率だとしたらその冶金は錆無くない fact9: もしとある物が立ち直れないとするとそれは伝わり易くないし凍死しない fact10: このパティは立ち直れるということはない
fact5 & fact10 -> int1: このパティは騒々しくないかあるいは聡い; fact2 -> int2: もし仮にこのパティが騒々しくないかまたは聡いかどちらもだとすれば林野率だ; int1 & int2 -> int3: このパティは林野率だ; int3 & fact8 -> int4: その冶金は錆無くない; int4 & fact6 -> hypothesis;
「その異端審問が伝わり易いということはないしさらにそれは凍死しない」ということは成り立つ
fact11 -> int5: その異端審問が立ち直らないならばそれは伝わり易くないし凍死しない; fact12 -> int6: もし仮にこのパティは林野率でないならば「それは錆無くなくて立ち直れるということはない」ということは事実と異なる;
$facts$ = fact1: このパティが騒々しくないとすればそれは林野率である fact2: 騒々しくないか聡い物は林野率である fact3: もし何らかの物は林野率でないとすると「錆無くなくてそれにそれは立ち直れない」ということは嘘だ fact4: もしも「このパティは錆無くないしその上それは立ち直れない」ということは間違いだとすればその異端審問は立ち直らない fact5: もしもこのパティは立ち直らないならば「それは騒々しくないか聡いかもしくはどちらもだ」ということは本当である fact6: もしその冶金は錆無くないならば「「その異端審問が伝わり易くないしさらにそれは凍死しない」ということは成り立つということはない」ということは真実である fact7: そのベビーカーは立ち直れるということはない fact8: このパティが林野率だとしたらその冶金は錆無くない fact9: もしとある物が立ち直れないとするとそれは伝わり易くないし凍死しない fact10: このパティは立ち直れるということはない ; $hypothesis$ = その異端審問は伝わり易くないし凍死するということはない ; $proof$ = 
fact5 & fact10 -> int1: このパティは騒々しくないかあるいは聡い; fact2 -> int2: もし仮にこのパティが騒々しくないかまたは聡いかどちらもだとすれば林野率だ; int1 & int2 -> int3: このパティは林野率だ; int3 & fact8 -> int4: その冶金は錆無くない; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: このパティが騒々しくないとすればそれは林野率である
事実2: 騒々しくないか聡い物は林野率である
事実3: もし何らかの物は林野率でないとすると「錆無くなくてそれにそれは立ち直れない」ということは嘘だ
事実4: もしも「このパティは錆無くないしその上それは立ち直れない」ということは間違いだとすればその異端審問は立ち直らない
事実5: もしもこのパティは立ち直らないならば「それは騒々しくないか聡いかもしくはどちらもだ」ということは本当である
事実6: もしその冶金は錆無くないならば「「その異端審問が伝わり易くないしさらにそれは凍死しない」ということは成り立つということはない」ということは真実である
事実7: そのベビーカーは立ち直れるということはない
事実8: このパティが林野率だとしたらその冶金は錆無くない
事実9: もしとある物が立ち直れないとするとそれは伝わり易くないし凍死しない
事実10: このパティは立ち直れるということはない

仮説: その異端審問は伝わり易くないし凍死するということはない
1. 事実5と事実10から、推論1: "このパティは騒々しくないかあるいは聡い"が導かれる
2. 事実2から、推論2: "もし仮にこのパティが騒々しくないかまたは聡いかどちらもだとすれば林野率だ"が導かれる
3. 推論1と推論2から、推論3: "このパティは林野率だ"が導かれる
4. 推論3と事実8から、推論4: "その冶金は錆無くない"が導かれる
5. 推論4と事実6から、仮説が否定される

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