「その真鯛は反ユダヤ主義でないかまたはそれは遜色無くない」ということは間違っている
fact1: 「灰色っぽい物は真実相だ」ということは成り立つ fact2: もしある物は反ユダヤ主義でないし遜色無いということはないならばそれはグルコース残基であるということはない fact3: もし仮にあの経理面が向かさないならばそのスピン量は反ユダヤ主義でないし遜色無くない fact4: もし仮に「「扱い難くない」ということは成り立つ」ものがあるとするとこの異文化理解は若ししそれは百姓らしい fact5: もし仮になんらかの物が肩肉でないけどそれが真実相であるならあの経理面は向かさない fact6: 「グルコース残基であるかもしくは向かすか両方ともである」ものはある fact7: この異文化理解は灰色っぽくてそれにそれは投げ付ける fact8: 「扱い難くない」ものはある fact9: もし仮にそのスピン量がグルコース残基でないならばあの着衣は成り易くないかもしくは野球用具でないかもしくはどちらもだ fact10: もしなんらかの物が若しとしたらそれは肩肉でない fact11: グルコース残基は反ユダヤ主義でない fact12: その真鯛はグルコース残基でないかまたはレンタル出来ないかまたは両方である fact13: もし仮に「グルコース残基であるかもしくは向かすか両方である」物があるならその真鯛はグルコース残基だ fact14: 仮にその真鯛が向かすとしたらそれはちょろくない
fact11 -> int1: もしその真鯛がグルコース残基だとしたら反ユダヤ主義であるということはない; fact6 & fact13 -> int2: その真鯛はグルコース残基だ; int1 & int2 -> int3: その真鯛は反ユダヤ主義でない; int3 -> hypothesis;
fact11 -> int1: {A}{aa} -> ¬{C}{aa}; fact6 & fact13 -> int2: {A}{aa}; int1 & int2 -> int3: ¬{C}{aa}; int3 -> hypothesis;
その着衣は成り易いということはないか野球用具でないかあるいは両方ともである
fact17 -> int4: 仮にそのスピン量が反ユダヤ主義であるということはなくてかつ遜色無くないならグルコース残基であるということはない; fact22 -> int5: もしも「この異文化理解は若し」ということは成り立つとすれば肩肉でない; fact16 & fact15 -> int6: この異文化理解は若しし百姓らしい; int6 -> int7: この異文化理解は若し; int5 & int7 -> int8: この異文化理解は肩肉でない; fact21 -> int9: もし「この異文化理解は灰色っぽい」ということは成り立つとすれば真実相である; fact23 -> int10: この異文化理解は灰色っぽい; int9 & int10 -> int11: 「この異文化理解は真実相である」ということは本当である; int8 & int11 -> int12: この異文化理解は肩肉だということはないが真実相だ; int12 -> int13: 「肩肉でないけれど真実相である」物はある; int13 & fact18 -> int14: あの経理面は向かさない; fact20 & int14 -> int15: そのスピン量は反ユダヤ主義でないし更にそれは遜色無くない; int4 & int15 -> int16: 「そのスピン量はグルコース残基でない」ということは成り立つ; fact19 & int16 -> hypothesis;
$facts$ = fact1: 「灰色っぽい物は真実相だ」ということは成り立つ fact2: もしある物は反ユダヤ主義でないし遜色無いということはないならばそれはグルコース残基であるということはない fact3: もし仮にあの経理面が向かさないならばそのスピン量は反ユダヤ主義でないし遜色無くない fact4: もし仮に「「扱い難くない」ということは成り立つ」ものがあるとするとこの異文化理解は若ししそれは百姓らしい fact5: もし仮になんらかの物が肩肉でないけどそれが真実相であるならあの経理面は向かさない fact6: 「グルコース残基であるかもしくは向かすか両方ともである」ものはある fact7: この異文化理解は灰色っぽくてそれにそれは投げ付ける fact8: 「扱い難くない」ものはある fact9: もし仮にそのスピン量がグルコース残基でないならばあの着衣は成り易くないかもしくは野球用具でないかもしくはどちらもだ fact10: もしなんらかの物が若しとしたらそれは肩肉でない fact11: グルコース残基は反ユダヤ主義でない fact12: その真鯛はグルコース残基でないかまたはレンタル出来ないかまたは両方である fact13: もし仮に「グルコース残基であるかもしくは向かすか両方である」物があるならその真鯛はグルコース残基だ fact14: 仮にその真鯛が向かすとしたらそれはちょろくない ; $hypothesis$ = 「その真鯛は反ユダヤ主義でないかまたはそれは遜色無くない」ということは間違っている ; $proof$ = 
fact11 -> int1: もしその真鯛がグルコース残基だとしたら反ユダヤ主義であるということはない; fact6 & fact13 -> int2: その真鯛はグルコース残基だ; int1 & int2 -> int3: その真鯛は反ユダヤ主義でない; int3 -> hypothesis; __DISPROVED__
事実1: 「灰色っぽい物は真実相だ」ということは成り立つ
事実2: もしある物は反ユダヤ主義でないし遜色無いということはないならばそれはグルコース残基であるということはない
事実3: もし仮にあの経理面が向かさないならばそのスピン量は反ユダヤ主義でないし遜色無くない
事実4: もし仮に「「扱い難くない」ということは成り立つ」ものがあるとするとこの異文化理解は若ししそれは百姓らしい
事実5: もし仮になんらかの物が肩肉でないけどそれが真実相であるならあの経理面は向かさない
事実6: 「グルコース残基であるかもしくは向かすか両方ともである」ものはある
事実7: この異文化理解は灰色っぽくてそれにそれは投げ付ける
事実8: 「扱い難くない」ものはある
事実9: もし仮にそのスピン量がグルコース残基でないならばあの着衣は成り易くないかもしくは野球用具でないかもしくはどちらもだ
事実10: もしなんらかの物が若しとしたらそれは肩肉でない
事実11: グルコース残基は反ユダヤ主義でない
事実12: その真鯛はグルコース残基でないかまたはレンタル出来ないかまたは両方である
事実13: もし仮に「グルコース残基であるかもしくは向かすか両方である」物があるならその真鯛はグルコース残基だ
事実14: 仮にその真鯛が向かすとしたらそれはちょろくない

仮説: 「その真鯛は反ユダヤ主義でないかまたはそれは遜色無くない」ということは間違っている
1. 事実11から、推論1: "もしその真鯛がグルコース残基だとしたら反ユダヤ主義であるということはない"が導かれる
2. 事実6と事実13から、推論2: "その真鯛はグルコース残基だ"が導かれる
3. 推論1と推論2から、推論3: "その真鯛は反ユダヤ主義でない"が導かれる
4. 推論3から、仮説が否定される

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