「「この中年親父は売り捲らないし更に人間らしくない」ということは事実でない」ということは事実だ
fact1: もしも「この本症は米内でない」ということは正しいとすると「その高山駅前は米内でない」ということは事実である fact2: もし仮にこの中年親父がし辛いということはないならそれは売り捲らない fact3: 仮になんらかの物はし辛いとしたら「売り捲らなくてその上人間らしいということはない」ということは事実と異なる fact4: もしある物がＳＣでないならそれは恐れ戦くかもしくはそれはし辛い fact5: もしもなんらかのものは米内でないならば「ＳＣであるし更にそれは倒れ難い」ということは成り立つということはない fact6: この中年親父は売り捲らない fact7: 「なんらかのものはＳＣで加えてそれは倒れ難い」ということは確かでないとするとそれはＳＣでない fact8: この本症は復旧する fact9: し辛くない物は売り捲らない fact10: もしもこの本症は復旧するとすると「それは恥ずかしくてそれは好ましくない」ということは成り立たない fact11: この中年親父はし辛いかもしくは恐れ戦かないかもしくはどちらもである fact12: もし仮に「なにがしかのものは恥ずかしいがしかし好ましいということはない」ということは事実と異なるなら米内でない fact13: し辛いということはない物は売り捲らなくておまけに人間らしくない fact14: もしもこの中年親父はし辛くないかまたは恐れ戦かないかあるいは両方ともであるとすると「それはし辛くない」ということは本当である fact15: この中年親父はし辛くないかそれは恐れ戦くということはない
fact13 -> int1: もしもこの中年親父はし辛くないとしたらそれは売り捲らないし人間らしくない; fact14 & fact15 -> int2: この中年親父はし辛くない; int1 & int2 -> hypothesis;
「この中年親父は売り捲らないしまた人間らしくない」ということは誤りだ
fact23 -> int3: 仮にこの中年親父はし辛いならば「売り捲るということはなくておまけに人間らしくない」ということは誤りである; fact20 -> int4: もし仮に「その高山駅前はＳＣでない」ということは正しいとすればそれは恐れ戦くかもしくはそれはし辛い; fact22 -> int5: 「その高山駅前はＳＣであるしまた倒れ難い」ということは成り立たないとすればＳＣでない; fact17 -> int6: もしもその高山駅前は米内でないとすると「それはＳＣであるしまたそれは倒れ難い」ということは成り立たない; fact16 -> int7: 「この本症は恥ずかしい一方で好ましくない」ということは間違いであるとしたら米内でない; fact21 & fact18 -> int8: 「この本症は恥ずかしいがしかし好ましいということはない」ということは事実と異なる; int7 & int8 -> int9: この本症は米内でない; fact19 & int9 -> int10: その高山駅前は米内だということはない; int6 & int10 -> int11: 「その高山駅前がＳＣだしそれは倒れ難い」ということは成り立つということはない; int5 & int11 -> int12: その高山駅前はＳＣでない; int4 & int12 -> int13: その高山駅前は恐れ戦くかまたはし辛いかまたは両方ともである;
$facts$ = fact1: もしも「この本症は米内でない」ということは正しいとすると「その高山駅前は米内でない」ということは事実である fact2: もし仮にこの中年親父がし辛いということはないならそれは売り捲らない fact3: 仮になんらかの物はし辛いとしたら「売り捲らなくてその上人間らしいということはない」ということは事実と異なる fact4: もしある物がＳＣでないならそれは恐れ戦くかもしくはそれはし辛い fact5: もしもなんらかのものは米内でないならば「ＳＣであるし更にそれは倒れ難い」ということは成り立つということはない fact6: この中年親父は売り捲らない fact7: 「なんらかのものはＳＣで加えてそれは倒れ難い」ということは確かでないとするとそれはＳＣでない fact8: この本症は復旧する fact9: し辛くない物は売り捲らない fact10: もしもこの本症は復旧するとすると「それは恥ずかしくてそれは好ましくない」ということは成り立たない fact11: この中年親父はし辛いかもしくは恐れ戦かないかもしくはどちらもである fact12: もし仮に「なにがしかのものは恥ずかしいがしかし好ましいということはない」ということは事実と異なるなら米内でない fact13: し辛いということはない物は売り捲らなくておまけに人間らしくない fact14: もしもこの中年親父はし辛くないかまたは恐れ戦かないかあるいは両方ともであるとすると「それはし辛くない」ということは本当である fact15: この中年親父はし辛くないかそれは恐れ戦くということはない ; $hypothesis$ = 「「この中年親父は売り捲らないし更に人間らしくない」ということは事実でない」ということは事実だ ; $proof$ = 
fact13 -> int1: もしもこの中年親父はし辛くないとしたらそれは売り捲らないし人間らしくない; fact14 & fact15 -> int2: この中年親父はし辛くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「この本症は米内でない」ということは正しいとすると「その高山駅前は米内でない」ということは事実である
事実2: もし仮にこの中年親父がし辛いということはないならそれは売り捲らない
事実3: 仮になんらかの物はし辛いとしたら「売り捲らなくてその上人間らしいということはない」ということは事実と異なる
事実4: もしある物がＳＣでないならそれは恐れ戦くかもしくはそれはし辛い
事実5: もしもなんらかのものは米内でないならば「ＳＣであるし更にそれは倒れ難い」ということは成り立つということはない
事実6: この中年親父は売り捲らない
事実7: 「なんらかのものはＳＣで加えてそれは倒れ難い」ということは確かでないとするとそれはＳＣでない
事実8: この本症は復旧する
事実9: し辛くない物は売り捲らない
事実10: もしもこの本症は復旧するとすると「それは恥ずかしくてそれは好ましくない」ということは成り立たない
事実11: この中年親父はし辛いかもしくは恐れ戦かないかもしくはどちらもである
事実12: もし仮に「なにがしかのものは恥ずかしいがしかし好ましいということはない」ということは事実と異なるなら米内でない
事実13: し辛いということはない物は売り捲らなくておまけに人間らしくない
事実14: もしもこの中年親父はし辛くないかまたは恐れ戦かないかあるいは両方ともであるとすると「それはし辛くない」ということは本当である
事実15: この中年親父はし辛くないかそれは恐れ戦くということはない

仮説: 「「この中年親父は売り捲らないし更に人間らしくない」ということは事実でない」ということは事実だ
1. 事実13から、推論1: "もしもこの中年親父はし辛くないとしたらそれは売り捲らないし人間らしくない"が導かれる
2. 事実14と事実15から、推論2: "この中年親父はし辛くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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