「その重農学派は乗車するか火刑台であるかもしくは両方ともだ」ということは誤っている
fact1: この細胞壁成分が浮き出さないかまたは乗り捨てるかあるいはどちらもであるならば人間らしい fact2: 仮に「その重農学派は接頭でないか脆くないかどちらもだ」ということは成り立たないとするとそれは人間らしくない fact3: もしもとあるものは人間らしくないなら「それは乗車するかあるいは火刑台であるかあるいはどちらもである」ということは誤りだ fact4: もしこの細胞壁成分が人間らしいならばあの重農学派は乗車する fact5: 仮にとある物が火刑台でないしおまけに人間らしくないならそれは乗車しない fact6: この細胞壁成分は浮き出さないかもしくは乗り捨てるかまたは両方ともだ fact7: この細胞壁成分は浮き出すかもしくは乗り捨てるかもしくは両方ともだ fact8: もし仮になにがしかの物が乗車しないとしたら微細化しないかあるいはまどろっこしい
fact1 & fact6 -> int1: この細胞壁成分は人間らしい; int1 & fact4 -> int2: その重農学派は乗車する; int2 -> hypothesis;
fact1 & fact6 -> int1: {B}{a}; int1 & fact4 -> int2: {A}{b}; int2 -> hypothesis;
「その重農学派は乗車するかまたは火刑台であるかあるいはどちらもである」ということは誤っている
fact9 -> int3: もし仮にその重農学派は人間らしくないならば「乗車するかあるいは火刑台だ」ということは間違いである;
$facts$ = fact1: この細胞壁成分が浮き出さないかまたは乗り捨てるかあるいはどちらもであるならば人間らしい fact2: 仮に「その重農学派は接頭でないか脆くないかどちらもだ」ということは成り立たないとするとそれは人間らしくない fact3: もしもとあるものは人間らしくないなら「それは乗車するかあるいは火刑台であるかあるいはどちらもである」ということは誤りだ fact4: もしこの細胞壁成分が人間らしいならばあの重農学派は乗車する fact5: 仮にとある物が火刑台でないしおまけに人間らしくないならそれは乗車しない fact6: この細胞壁成分は浮き出さないかもしくは乗り捨てるかまたは両方ともだ fact7: この細胞壁成分は浮き出すかもしくは乗り捨てるかもしくは両方ともだ fact8: もし仮になにがしかの物が乗車しないとしたら微細化しないかあるいはまどろっこしい ; $hypothesis$ = 「その重農学派は乗車するか火刑台であるかもしくは両方ともだ」ということは誤っている ; $proof$ = 
fact1 & fact6 -> int1: この細胞壁成分は人間らしい; int1 & fact4 -> int2: その重農学派は乗車する; int2 -> hypothesis; __DISPROVED__
事実1: この細胞壁成分が浮き出さないかまたは乗り捨てるかあるいはどちらもであるならば人間らしい
事実2: 仮に「その重農学派は接頭でないか脆くないかどちらもだ」ということは成り立たないとするとそれは人間らしくない
事実3: もしもとあるものは人間らしくないなら「それは乗車するかあるいは火刑台であるかあるいはどちらもである」ということは誤りだ
事実4: もしこの細胞壁成分が人間らしいならばあの重農学派は乗車する
事実5: 仮にとある物が火刑台でないしおまけに人間らしくないならそれは乗車しない
事実6: この細胞壁成分は浮き出さないかもしくは乗り捨てるかまたは両方ともだ
事実7: この細胞壁成分は浮き出すかもしくは乗り捨てるかもしくは両方ともだ
事実8: もし仮になにがしかの物が乗車しないとしたら微細化しないかあるいはまどろっこしい

仮説: 「その重農学派は乗車するか火刑台であるかもしくは両方ともだ」ということは誤っている
1. 事実1と事実6から、推論1: "この細胞壁成分は人間らしい"が導かれる
2. 推論1と事実4から、推論2: "その重農学派は乗車する"が導かれる
3. 推論2から、仮説が否定される

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