「「「生物でまた破片だ」ということは間違いだとしたら間断無くない」ものはある」ということは事実でない
fact1: もしも「何かは生物であるしまた破片である」ということは間違いだとすればそれは間断無い fact2: もしも「何らかの物は元来たるし入り辛い」ということは成り立つということはないとすれば埋蔵しない fact3: 仮に「ある物は転ぶししかもそれは覚え難い」ということは嘘であるとすると新しない fact4: 「もし参加し易くないとしたら伝え難いということはない」ものはある fact5: 仮に奥床しいものが参加し易いなら出し難くない fact6: もしなにかは生物でないとすればそれは間断無くない fact7: 仮に「その反対給付は生物だし加えて破片だ」ということは誤りだとすると「それは間断無い」ということは成り立つ fact8: 「なにがしかのものは防衛反応であるしそれは行かす」ということは本当でないとしたら回収方法でない fact9: もし仮にオンレコが敵中深いならそれは味気無くない fact10: 「仮に奮い立たないなら悪しない」ものはある fact11: 「もしも「ライムシャーベットでない」ということは誤っていないとすると敗死するということはない」ものはある fact12: 仮に「その反対給付は迷い難くてかつま行である」ということは嘘だとすれば間断無いということはない fact13: 「何かは生物であるし更に破片である」ということは成り立たないならばそれは間断無くない fact14: その反対給付は生物でないとするとそれは奥床しくない fact15: 「もし仮に本当らしくないとすると辛気臭くない」物はある fact16: もし「あの応用記号は生物であるしかつそれは射止める」ということは成り立たないとするとそれは引用為さらない fact17: 「もし仮に生物でかつ破片であるならば間断無くない」ものはある fact18: 「とある物は小量であるし加えて作りだ」ということは偽ならばそれは迷い難い fact19: 「もしも生物でないとすれば間断無くない」ものはある fact20: その反対給付は生物で破片であるとすれば間断無くない
fact13 -> int1: もしも「その反対給付は生物であるしその上破片だ」ということは成り立たないならばそれは間断無くない; int1 -> hypothesis;
「もし「元来たるし加えて入り辛い」ということは嘘であるなら「埋蔵しない」ということは成り立つ」ものはある
fact21 -> int2: 「この民俗行事は元来たるし入り辛い」ということは成り立つということはないとするとそれは埋蔵しない; int2 -> hypothesis;
$facts$ = fact1: もしも「何かは生物であるしまた破片である」ということは間違いだとすればそれは間断無い fact2: もしも「何らかの物は元来たるし入り辛い」ということは成り立つということはないとすれば埋蔵しない fact3: 仮に「ある物は転ぶししかもそれは覚え難い」ということは嘘であるとすると新しない fact4: 「もし参加し易くないとしたら伝え難いということはない」ものはある fact5: 仮に奥床しいものが参加し易いなら出し難くない fact6: もしなにかは生物でないとすればそれは間断無くない fact7: 仮に「その反対給付は生物だし加えて破片だ」ということは誤りだとすると「それは間断無い」ということは成り立つ fact8: 「なにがしかのものは防衛反応であるしそれは行かす」ということは本当でないとしたら回収方法でない fact9: もし仮にオンレコが敵中深いならそれは味気無くない fact10: 「仮に奮い立たないなら悪しない」ものはある fact11: 「もしも「ライムシャーベットでない」ということは誤っていないとすると敗死するということはない」ものはある fact12: 仮に「その反対給付は迷い難くてかつま行である」ということは嘘だとすれば間断無いということはない fact13: 「何かは生物であるし更に破片である」ということは成り立たないならばそれは間断無くない fact14: その反対給付は生物でないとするとそれは奥床しくない fact15: 「もし仮に本当らしくないとすると辛気臭くない」物はある fact16: もし「あの応用記号は生物であるしかつそれは射止める」ということは成り立たないとするとそれは引用為さらない fact17: 「もし仮に生物でかつ破片であるならば間断無くない」ものはある fact18: 「とある物は小量であるし加えて作りだ」ということは偽ならばそれは迷い難い fact19: 「もしも生物でないとすれば間断無くない」ものはある fact20: その反対給付は生物で破片であるとすれば間断無くない ; $hypothesis$ = 「「「生物でまた破片だ」ということは間違いだとしたら間断無くない」ものはある」ということは事実でない ; $proof$ = 
fact13 -> int1: もしも「その反対給付は生物であるしその上破片だ」ということは成り立たないならばそれは間断無くない; int1 -> hypothesis; __DISPROVED__
事実1: もしも「何かは生物であるしまた破片である」ということは間違いだとすればそれは間断無い
事実2: もしも「何らかの物は元来たるし入り辛い」ということは成り立つということはないとすれば埋蔵しない
事実3: 仮に「ある物は転ぶししかもそれは覚え難い」ということは嘘であるとすると新しない
事実4: 「もし参加し易くないとしたら伝え難いということはない」ものはある
事実5: 仮に奥床しいものが参加し易いなら出し難くない
事実6: もしなにかは生物でないとすればそれは間断無くない
事実7: 仮に「その反対給付は生物だし加えて破片だ」ということは誤りだとすると「それは間断無い」ということは成り立つ
事実8: 「なにがしかのものは防衛反応であるしそれは行かす」ということは本当でないとしたら回収方法でない
事実9: もし仮にオンレコが敵中深いならそれは味気無くない
事実10: 「仮に奮い立たないなら悪しない」ものはある
事実11: 「もしも「ライムシャーベットでない」ということは誤っていないとすると敗死するということはない」ものはある
事実12: 仮に「その反対給付は迷い難くてかつま行である」ということは嘘だとすれば間断無いということはない
事実13: 「何かは生物であるし更に破片である」ということは成り立たないならばそれは間断無くない
事実14: その反対給付は生物でないとするとそれは奥床しくない
事実15: 「もし仮に本当らしくないとすると辛気臭くない」物はある
事実16: もし「あの応用記号は生物であるしかつそれは射止める」ということは成り立たないとするとそれは引用為さらない
事実17: 「もし仮に生物でかつ破片であるならば間断無くない」ものはある
事実18: 「とある物は小量であるし加えて作りだ」ということは偽ならばそれは迷い難い
事実19: 「もしも生物でないとすれば間断無くない」ものはある
事実20: その反対給付は生物で破片であるとすれば間断無くない

仮説: 「「「生物でまた破片だ」ということは間違いだとしたら間断無くない」ものはある」ということは事実でない
1. 事実13から、推論1: "もしも「その反対給付は生物であるしその上破片だ」ということは成り立たないならばそれは間断無くない"が導かれる
2. 推論1から、仮説が否定される

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