この頬肉は長州兵でない
fact1: 仮に何かは私らしいなら「ＰＷＭ出力だということはないし更にそれは犯し難い」ということは確かだ fact2: もしその大地溝帯がぶつけるとすると三宝物でない fact3: もしその大地溝帯が設定すしまたそれが青臭いならこの頬肉は長州兵でない fact4: 仮にあの文部大臣が賑々しいならその大地溝帯は青臭い fact5: あの連体形は親し fact6: もし仮に「その大地溝帯は宿泊する」ということは嘘でないなら「見損なわないし結び付き易くない」ということは誤りだ fact7: この頬肉は親しない fact8: この頬肉が青臭いとするとそれは親しということはない fact9: 仮にこの頬肉が親しとすればあの予定売り上げは設定す fact10: もしも何かは設定すとしたら青臭い fact11: この頬肉が慎ましいならば長州兵でないが輝かし fact12: 青臭い物は親しない一方で長州兵だ fact13: この頬肉は青臭いしそれは設定す fact14: 青臭い物は親しない fact15: もしなにかは三宝物でないとしたら設定すし親し fact16: もし「その大地溝帯は見損なわなくて更に結び付き易くない」ということは誤りであるとすると「それはぶつける」ということは成り立つ
fact13 -> int1: この頬肉は青臭い; fact12 -> int2: 仮にこの頬肉が青臭いなら親しない一方で長州兵だ; int1 & int2 -> int3: この頬肉は親しないけど長州兵だ; int3 -> hypothesis;
あの予定売り上げは青臭い
fact17 -> int4: 仮にあの予定売り上げが設定すならそれは青臭い;
$facts$ = fact1: 仮に何かは私らしいなら「ＰＷＭ出力だということはないし更にそれは犯し難い」ということは確かだ fact2: もしその大地溝帯がぶつけるとすると三宝物でない fact3: もしその大地溝帯が設定すしまたそれが青臭いならこの頬肉は長州兵でない fact4: 仮にあの文部大臣が賑々しいならその大地溝帯は青臭い fact5: あの連体形は親し fact6: もし仮に「その大地溝帯は宿泊する」ということは嘘でないなら「見損なわないし結び付き易くない」ということは誤りだ fact7: この頬肉は親しない fact8: この頬肉が青臭いとするとそれは親しということはない fact9: 仮にこの頬肉が親しとすればあの予定売り上げは設定す fact10: もしも何かは設定すとしたら青臭い fact11: この頬肉が慎ましいならば長州兵でないが輝かし fact12: 青臭い物は親しない一方で長州兵だ fact13: この頬肉は青臭いしそれは設定す fact14: 青臭い物は親しない fact15: もしなにかは三宝物でないとしたら設定すし親し fact16: もし「その大地溝帯は見損なわなくて更に結び付き易くない」ということは誤りであるとすると「それはぶつける」ということは成り立つ ; $hypothesis$ = この頬肉は長州兵でない ; $proof$ = 
fact13 -> int1: この頬肉は青臭い; fact12 -> int2: 仮にこの頬肉が青臭いなら親しない一方で長州兵だ; int1 & int2 -> int3: この頬肉は親しないけど長州兵だ; int3 -> hypothesis; __DISPROVED__
事実1: 仮に何かは私らしいなら「ＰＷＭ出力だということはないし更にそれは犯し難い」ということは確かだ
事実2: もしその大地溝帯がぶつけるとすると三宝物でない
事実3: もしその大地溝帯が設定すしまたそれが青臭いならこの頬肉は長州兵でない
事実4: 仮にあの文部大臣が賑々しいならその大地溝帯は青臭い
事実5: あの連体形は親し
事実6: もし仮に「その大地溝帯は宿泊する」ということは嘘でないなら「見損なわないし結び付き易くない」ということは誤りだ
事実7: この頬肉は親しない
事実8: この頬肉が青臭いとするとそれは親しということはない
事実9: 仮にこの頬肉が親しとすればあの予定売り上げは設定す
事実10: もしも何かは設定すとしたら青臭い
事実11: この頬肉が慎ましいならば長州兵でないが輝かし
事実12: 青臭い物は親しない一方で長州兵だ
事実13: この頬肉は青臭いしそれは設定す
事実14: 青臭い物は親しない
事実15: もしなにかは三宝物でないとしたら設定すし親し
事実16: もし「その大地溝帯は見損なわなくて更に結び付き易くない」ということは誤りであるとすると「それはぶつける」ということは成り立つ

仮説: この頬肉は長州兵でない
1. 事実13から、推論1: "この頬肉は青臭い"が導かれる
2. 事実12から、推論2: "仮にこの頬肉が青臭いなら親しない一方で長州兵だ"が導かれる
3. 推論1と推論2から、推論3: "この頬肉は親しないけど長州兵だ"が導かれる
4. 推論3から、仮説が否定される

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