このイーサネットカードがＯ‐グリコシド結合だしさらにそれは全員起立である
fact1: 「このイーサネットカードは全員起立でないししかもそれは床しかない」ということは嘘ならばそれは全員起立である fact2: このＳＮ比は太しない fact3: この蔚山Ａ洞は床しい fact4: その混戦は罷る fact5: 「この蔚山Ａ洞はホームディレクトリである」ということは本当だとしたらこの粉ミルクはじりじりする一方でそれは病棟であるということはない fact6: 仮に床しいものが罷るとするとそれは太しない fact7: もし仮に「「変更入力するがしかし病棟でない」ということは成り立たない」物があるならばあの蔚山Ａ洞はＯ‐グリコシド結合だということはない fact8: 仮にその混戦が太しないとしたらこのＳＮ比はじりじりするし加えてホームディレクトリだ fact9: 「この蔚山Ａ洞は病棟だ」ということは成り立つ fact10: この蔚山Ａ洞は人物撮影だ fact11: もしなんらかの物はじりじりしないししかもホームディレクトリでないとしたらＯ‐グリコシド結合だ fact12: この蔚山Ａ洞は変更入力しない fact13: この珍客は変更入力しない fact14: もし仮に何かは変更入力しないけど病棟ならばあのイーサネットカードはじりじりしない fact15: その混戦は床しい fact16: このイーサネットカードはホームディレクトリでない fact17: 何らかのものはじりじりするなら「それは変更入力するしまたそれは病棟でない」ということは誤っている fact18: もし仮にこのＳＮ比は太しということはないとしたら「このイーサネットカードは全員起立でないし加えてそれは床しかない」ということは成り立つということはない
fact12 & fact9 -> int1: この蔚山Ａ洞は変更入力しないけれど病棟である; int1 -> int2: あるものは変更入力するということはない一方で病棟である; int2 & fact14 -> int3: 「このイーサネットカードはじりじりしない」ということは正しい; int3 & fact16 -> int4: このイーサネットカードはじりじりしなくてホームディレクトリでない; fact11 -> int5: もし仮にこのイーサネットカードはじりじりしないし加えてホームディレクトリでないなら「それはＯ‐グリコシド結合である」ということは確かである; int4 & int5 -> int6: このイーサネットカードはＯ‐グリコシド結合である; fact18 & fact2 -> int7: 「このイーサネットカードは全員起立でなくてそれは床しかない」ということは嘘である; fact1 & int7 -> int8: このイーサネットカードは全員起立だ; int6 & int8 -> hypothesis;
この粉ミルクは床しい
$facts$ = fact1: 「このイーサネットカードは全員起立でないししかもそれは床しかない」ということは嘘ならばそれは全員起立である fact2: このＳＮ比は太しない fact3: この蔚山Ａ洞は床しい fact4: その混戦は罷る fact5: 「この蔚山Ａ洞はホームディレクトリである」ということは本当だとしたらこの粉ミルクはじりじりする一方でそれは病棟であるということはない fact6: 仮に床しいものが罷るとするとそれは太しない fact7: もし仮に「「変更入力するがしかし病棟でない」ということは成り立たない」物があるならばあの蔚山Ａ洞はＯ‐グリコシド結合だということはない fact8: 仮にその混戦が太しないとしたらこのＳＮ比はじりじりするし加えてホームディレクトリだ fact9: 「この蔚山Ａ洞は病棟だ」ということは成り立つ fact10: この蔚山Ａ洞は人物撮影だ fact11: もしなんらかの物はじりじりしないししかもホームディレクトリでないとしたらＯ‐グリコシド結合だ fact12: この蔚山Ａ洞は変更入力しない fact13: この珍客は変更入力しない fact14: もし仮に何かは変更入力しないけど病棟ならばあのイーサネットカードはじりじりしない fact15: その混戦は床しい fact16: このイーサネットカードはホームディレクトリでない fact17: 何らかのものはじりじりするなら「それは変更入力するしまたそれは病棟でない」ということは誤っている fact18: もし仮にこのＳＮ比は太しということはないとしたら「このイーサネットカードは全員起立でないし加えてそれは床しかない」ということは成り立つということはない ; $hypothesis$ = このイーサネットカードがＯ‐グリコシド結合だしさらにそれは全員起立である ; $proof$ = 
fact12 & fact9 -> int1: この蔚山Ａ洞は変更入力しないけれど病棟である; int1 -> int2: あるものは変更入力するということはない一方で病棟である; int2 & fact14 -> int3: 「このイーサネットカードはじりじりしない」ということは正しい; int3 & fact16 -> int4: このイーサネットカードはじりじりしなくてホームディレクトリでない; fact11 -> int5: もし仮にこのイーサネットカードはじりじりしないし加えてホームディレクトリでないなら「それはＯ‐グリコシド結合である」ということは確かである; int4 & int5 -> int6: このイーサネットカードはＯ‐グリコシド結合である; fact18 & fact2 -> int7: 「このイーサネットカードは全員起立でなくてそれは床しかない」ということは嘘である; fact1 & int7 -> int8: このイーサネットカードは全員起立だ; int6 & int8 -> hypothesis; __PROVED__
事実1: 「このイーサネットカードは全員起立でないししかもそれは床しかない」ということは嘘ならばそれは全員起立である
事実2: このＳＮ比は太しない
事実3: この蔚山Ａ洞は床しい
事実4: その混戦は罷る
事実5: 「この蔚山Ａ洞はホームディレクトリである」ということは本当だとしたらこの粉ミルクはじりじりする一方でそれは病棟であるということはない
事実6: 仮に床しいものが罷るとするとそれは太しない
事実7: もし仮に「「変更入力するがしかし病棟でない」ということは成り立たない」物があるならばあの蔚山Ａ洞はＯ‐グリコシド結合だということはない
事実8: 仮にその混戦が太しないとしたらこのＳＮ比はじりじりするし加えてホームディレクトリだ
事実9: 「この蔚山Ａ洞は病棟だ」ということは成り立つ
事実10: この蔚山Ａ洞は人物撮影だ
事実11: もしなんらかの物はじりじりしないししかもホームディレクトリでないとしたらＯ‐グリコシド結合だ
事実12: この蔚山Ａ洞は変更入力しない
事実13: この珍客は変更入力しない
事実14: もし仮に何かは変更入力しないけど病棟ならばあのイーサネットカードはじりじりしない
事実15: その混戦は床しい
事実16: このイーサネットカードはホームディレクトリでない
事実17: 何らかのものはじりじりするなら「それは変更入力するしまたそれは病棟でない」ということは誤っている
事実18: もし仮にこのＳＮ比は太しということはないとしたら「このイーサネットカードは全員起立でないし加えてそれは床しかない」ということは成り立つということはない

仮説: このイーサネットカードがＯ‐グリコシド結合だしさらにそれは全員起立である
1. 事実12と事実9から、推論1: "この蔚山Ａ洞は変更入力しないけれど病棟である"が導かれる
2. 推論1から、推論2: "あるものは変更入力するということはない一方で病棟である"が導かれる
3. 推論2と事実14から、推論3: "「このイーサネットカードはじりじりしない」ということは正しい"が導かれる
4. 推論3と事実16から、推論4: "このイーサネットカードはじりじりしなくてホームディレクトリでない"が導かれる
5. 事実11から、推論5: "もし仮にこのイーサネットカードはじりじりしないし加えてホームディレクトリでないなら「それはＯ‐グリコシド結合である」ということは確かである"が導かれる
6. 推論4と推論5から、推論6: "このイーサネットカードはＯ‐グリコシド結合である"が導かれる
7. 事実18と事実2から、推論7: "「このイーサネットカードは全員起立でなくてそれは床しかない」ということは嘘である"が導かれる
8. 事実1と推論7から、推論8: "このイーサネットカードは全員起立だ"が導かれる
9. 推論6と推論8から、仮説が導かれる

よって、仮説が証明されました。