「もしそのＭちゃんが引用為さればこの出勤日数は心強い」ということは成り立たない
fact1: 仮にそのＭちゃんは心強いならば「それは特別扱いする」ということは事実である fact2: そのＭちゃんは心強いなら「この出勤日数は特別扱いする」ということは本当だ fact3: そのＭちゃんは心強い fact4: もしもそのＭちゃんが引用為さるとしたらそれは特別扱いする fact5: そのＭちゃんは特別扱いするが痛むということはないならば「あのストレンジネスは食用油だ」ということは正しい fact6: あのストレンジネスが食用油ならば特別扱いする fact7: もしもこの出勤日数が痛むなら心強いけれど引用為さるということはない fact8: 仮にあのストレンジネスは食用油であるなら「この出勤日数は心強い」ということは成り立つ fact9: この一軒宿は引用為さる fact10: この出勤日数は引用為さる fact11: もしそのＭちゃんが引用為さるとすればそれは特別扱いするしそれは痛まない fact12: そのＭちゃんは特別扱いする fact13: もしそのＭちゃんが食用油であるならばあのストレンジネスは特別扱いする fact14: そのＭちゃんは心強いけどエレメントでない fact15: 「そのＭちゃんは食用油だ」ということは真実である fact16: 仮にそのＭちゃんは特別扱いするなら「食用油である」ということは成り立つ fact17: もしもこの出勤日数が心強いならそれは特別扱いするしかつそれは痛まない fact18: あのストレンジネスは心強い fact19: その米国企業は打ち拉ぐが引用為さらない fact20: 仮に「この出勤日数は特別扱いする」ということは成り立つとすればそのＭちゃんは心強い
void -> assump1: 以下のように仮定する。そのＭちゃんは引用為さる; fact11 & assump1 -> int1: そのＭちゃんは特別扱いするがしかし痛むということはない; int1 & fact5 -> int2: あのストレンジネスは食用油である; int2 & fact8 -> int3: 「この出勤日数は心強い」ということは本当である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にそのＭちゃんは心強いならば「それは特別扱いする」ということは事実である fact2: そのＭちゃんは心強いなら「この出勤日数は特別扱いする」ということは本当だ fact3: そのＭちゃんは心強い fact4: もしもそのＭちゃんが引用為さるとしたらそれは特別扱いする fact5: そのＭちゃんは特別扱いするが痛むということはないならば「あのストレンジネスは食用油だ」ということは正しい fact6: あのストレンジネスが食用油ならば特別扱いする fact7: もしもこの出勤日数が痛むなら心強いけれど引用為さるということはない fact8: 仮にあのストレンジネスは食用油であるなら「この出勤日数は心強い」ということは成り立つ fact9: この一軒宿は引用為さる fact10: この出勤日数は引用為さる fact11: もしそのＭちゃんが引用為さるとすればそれは特別扱いするしそれは痛まない fact12: そのＭちゃんは特別扱いする fact13: もしそのＭちゃんが食用油であるならばあのストレンジネスは特別扱いする fact14: そのＭちゃんは心強いけどエレメントでない fact15: 「そのＭちゃんは食用油だ」ということは真実である fact16: 仮にそのＭちゃんは特別扱いするなら「食用油である」ということは成り立つ fact17: もしもこの出勤日数が心強いならそれは特別扱いするしかつそれは痛まない fact18: あのストレンジネスは心強い fact19: その米国企業は打ち拉ぐが引用為さらない fact20: 仮に「この出勤日数は特別扱いする」ということは成り立つとすればそのＭちゃんは心強い ; $hypothesis$ = 「もしそのＭちゃんが引用為さればこの出勤日数は心強い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＭちゃんは引用為さる; fact11 & assump1 -> int1: そのＭちゃんは特別扱いするがしかし痛むということはない; int1 & fact5 -> int2: あのストレンジネスは食用油である; int2 & fact8 -> int3: 「この出勤日数は心強い」ということは本当である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にそのＭちゃんは心強いならば「それは特別扱いする」ということは事実である
事実2: そのＭちゃんは心強いなら「この出勤日数は特別扱いする」ということは本当だ
事実3: そのＭちゃんは心強い
事実4: もしもそのＭちゃんが引用為さるとしたらそれは特別扱いする
事実5: そのＭちゃんは特別扱いするが痛むということはないならば「あのストレンジネスは食用油だ」ということは正しい
事実6: あのストレンジネスが食用油ならば特別扱いする
事実7: もしもこの出勤日数が痛むなら心強いけれど引用為さるということはない
事実8: 仮にあのストレンジネスは食用油であるなら「この出勤日数は心強い」ということは成り立つ
事実9: この一軒宿は引用為さる
事実10: この出勤日数は引用為さる
事実11: もしそのＭちゃんが引用為さるとすればそれは特別扱いするしそれは痛まない
事実12: そのＭちゃんは特別扱いする
事実13: もしそのＭちゃんが食用油であるならばあのストレンジネスは特別扱いする
事実14: そのＭちゃんは心強いけどエレメントでない
事実15: 「そのＭちゃんは食用油だ」ということは真実である
事実16: 仮にそのＭちゃんは特別扱いするなら「食用油である」ということは成り立つ
事実17: もしもこの出勤日数が心強いならそれは特別扱いするしかつそれは痛まない
事実18: あのストレンジネスは心強い
事実19: その米国企業は打ち拉ぐが引用為さらない
事実20: 仮に「この出勤日数は特別扱いする」ということは成り立つとすればそのＭちゃんは心強い

仮説: 「もしそのＭちゃんが引用為さればこの出勤日数は心強い」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのＭちゃんは引用為さる
2. 事実11と仮定1から、推論1: "そのＭちゃんは特別扱いするがしかし痛むということはない"が導かれる
3. 推論1と事実5から、推論2: "あのストレンジネスは食用油である"が導かれる
4. 推論2と事実8から、推論3: "「この出勤日数は心強い」ということは本当である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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