「「絶息しない」物はある」ということは間違いである
fact1: もしもなんらかのものは伝道するなら「それは御呼びに成らない一方で昇進する」ということは間違いだ fact2: とある物は帰隊しない fact3: 「「絶息する」ということは間違いであるということはない」物はある fact4: この届け出用紙は御呼びに成る fact5: 「もし「この届け出用紙は絶息しないけれど御呼びに成る」ということは成り立たないとすると「この消臭剤は備え置くということはない」ということは真実である」ということは事実だ fact6: この届け出用紙は備え置くけどそれは意思決定しない fact7: この造影後期相は音楽隊でない fact8: もしも「この造影後期相は伝道するということはないけれどそれは御呼びに成る」ということは誤っているとすると「この消臭剤は絶息しない」ということは本当だ fact9: この造影後期相は乱さない fact10: もし仮にこの消臭剤が昇進するということはないとすればあの造影後期相は絶息しない fact11: 「この造影後期相は備え置かない」ということは成り立つ fact12: 「この造影後期相は意思決定するということはない一方で絶息する」ということは誤りである fact13: この造影後期相は伝道しない fact14: もしも何らかの物は座り易いなら「肩代わりしないしその上被共済者だ」ということは誤っている fact15: 「組み付かない」物はある fact16: あの受講資格は備え置かない fact17: もしもこの届け出用紙が備え置くけどそれが意思決定しないとすればこの消臭剤は伝道する fact18: この届け出用紙は生えらない fact19: もしとある物は意思決定するとすると「絶息するということはなくてそれは伝道する」ということは間違っている fact20: 仮に「この消臭剤は備え置くけれどそれは御呼びに成らない」ということは確かならこの届け出用紙は昇進する fact21: 「その生剥は伝道しないけど御出しする」ということは成り立たない fact22: もし「この消臭剤は御呼びに成らないけど昇進する」ということは成り立たないなら「この造影後期相は絶息しない」ということは本当である fact23: この届け出用紙は備え置く
fact17 & fact6 -> int1: この消臭剤は伝道する; fact1 -> int2: 仮にこの消臭剤は伝道するとしたら「御呼びに成らないしそれは昇進する」ということは事実と異なる; int1 & int2 -> int3: 「この消臭剤は御呼びに成らないけど昇進する」ということは成り立たない; int3 & fact22 -> int4: この造影後期相は絶息しない; int4 -> hypothesis;
$facts$ = fact1: もしもなんらかのものは伝道するなら「それは御呼びに成らない一方で昇進する」ということは間違いだ fact2: とある物は帰隊しない fact3: 「「絶息する」ということは間違いであるということはない」物はある fact4: この届け出用紙は御呼びに成る fact5: 「もし「この届け出用紙は絶息しないけれど御呼びに成る」ということは成り立たないとすると「この消臭剤は備え置くということはない」ということは真実である」ということは事実だ fact6: この届け出用紙は備え置くけどそれは意思決定しない fact7: この造影後期相は音楽隊でない fact8: もしも「この造影後期相は伝道するということはないけれどそれは御呼びに成る」ということは誤っているとすると「この消臭剤は絶息しない」ということは本当だ fact9: この造影後期相は乱さない fact10: もし仮にこの消臭剤が昇進するということはないとすればあの造影後期相は絶息しない fact11: 「この造影後期相は備え置かない」ということは成り立つ fact12: 「この造影後期相は意思決定するということはない一方で絶息する」ということは誤りである fact13: この造影後期相は伝道しない fact14: もしも何らかの物は座り易いなら「肩代わりしないしその上被共済者だ」ということは誤っている fact15: 「組み付かない」物はある fact16: あの受講資格は備え置かない fact17: もしもこの届け出用紙が備え置くけどそれが意思決定しないとすればこの消臭剤は伝道する fact18: この届け出用紙は生えらない fact19: もしとある物は意思決定するとすると「絶息するということはなくてそれは伝道する」ということは間違っている fact20: 仮に「この消臭剤は備え置くけれどそれは御呼びに成らない」ということは確かならこの届け出用紙は昇進する fact21: 「その生剥は伝道しないけど御出しする」ということは成り立たない fact22: もし「この消臭剤は御呼びに成らないけど昇進する」ということは成り立たないなら「この造影後期相は絶息しない」ということは本当である fact23: この届け出用紙は備え置く ; $hypothesis$ = 「「絶息しない」物はある」ということは間違いである ; $proof$ = 
fact17 & fact6 -> int1: この消臭剤は伝道する; fact1 -> int2: 仮にこの消臭剤は伝道するとしたら「御呼びに成らないしそれは昇進する」ということは事実と異なる; int1 & int2 -> int3: 「この消臭剤は御呼びに成らないけど昇進する」ということは成り立たない; int3 & fact22 -> int4: この造影後期相は絶息しない; int4 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものは伝道するなら「それは御呼びに成らない一方で昇進する」ということは間違いだ
事実2: とある物は帰隊しない
事実3: 「「絶息する」ということは間違いであるということはない」物はある
事実4: この届け出用紙は御呼びに成る
事実5: 「もし「この届け出用紙は絶息しないけれど御呼びに成る」ということは成り立たないとすると「この消臭剤は備え置くということはない」ということは真実である」ということは事実だ
事実6: この届け出用紙は備え置くけどそれは意思決定しない
事実7: この造影後期相は音楽隊でない
事実8: もしも「この造影後期相は伝道するということはないけれどそれは御呼びに成る」ということは誤っているとすると「この消臭剤は絶息しない」ということは本当だ
事実9: この造影後期相は乱さない
事実10: もし仮にこの消臭剤が昇進するということはないとすればあの造影後期相は絶息しない
事実11: 「この造影後期相は備え置かない」ということは成り立つ
事実12: 「この造影後期相は意思決定するということはない一方で絶息する」ということは誤りである
事実13: この造影後期相は伝道しない
事実14: もしも何らかの物は座り易いなら「肩代わりしないしその上被共済者だ」ということは誤っている
事実15: 「組み付かない」物はある
事実16: あの受講資格は備え置かない
事実17: もしもこの届け出用紙が備え置くけどそれが意思決定しないとすればこの消臭剤は伝道する
事実18: この届け出用紙は生えらない
事実19: もしとある物は意思決定するとすると「絶息するということはなくてそれは伝道する」ということは間違っている
事実20: 仮に「この消臭剤は備え置くけれどそれは御呼びに成らない」ということは確かならこの届け出用紙は昇進する
事実21: 「その生剥は伝道しないけど御出しする」ということは成り立たない
事実22: もし「この消臭剤は御呼びに成らないけど昇進する」ということは成り立たないなら「この造影後期相は絶息しない」ということは本当である
事実23: この届け出用紙は備え置く

仮説: 「「絶息しない」物はある」ということは間違いである
1. 事実17と事実6から、推論1: "この消臭剤は伝道する"が導かれる
2. 事実1から、推論2: "仮にこの消臭剤は伝道するとしたら「御呼びに成らないしそれは昇進する」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "「この消臭剤は御呼びに成らないけど昇進する」ということは成り立たない"が導かれる
4. 推論3と事実22から、推論4: "この造影後期相は絶息しない"が導かれる
5. 推論4から、仮説が否定される

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