このソナー員は嫌気でない
fact1: 「映える」物はあれば「このソナー員は客だが嫌気だということはない」ということは成り立つということはない fact2: もし「このソナー員は客であるがしかし嫌気であるということはない」ということは成り立たないならばそのステップアップは嫌気だ fact3: もし仮にこの規則性が縫い繋げばそのステップアップは人非人である fact4: もし仮に「うんちする」ものがあるならこの連絡通路は連れ込まないけれどそれは立ち掛ける fact5: もし仮にとあるものは映えるなら「縫い繋ぐ」ということは事実だ fact6: もし仮になにがしかのものは縫い繋ぐとすると「映える」ということは事実である fact7: もしなんらかの物が連れ込まないとするとこのＥＶオリーブ油は縫い繋ぐけれど人非人でない fact8: そのステップアップが嫌気であるならばこの規則性は嫌気だ fact9: あのヘア・モニターはうんちする fact10: もし仮にとあるものが連れ込めば嫌気である fact11: この規則性は客であるししかも映える fact12: そのステップアップが人非人であるとすればあのソナー員は連れ込む
fact11 -> int1: 「この規則性は映える」ということは成り立つ; fact5 -> int2: この規則性が映えるなら縫い繋ぐ; int1 & int2 -> int3: この規則性は縫い繋ぐ; int3 & fact3 -> int4: そのステップアップは人非人である; int4 & fact12 -> int5: このソナー員は連れ込む; fact10 -> int6: もし仮にこのソナー員が連れ込むとすると嫌気である; int5 & int6 -> hypothesis;
この規則性は嫌気である
fact19 -> int7: このＥＶオリーブ油が縫い繋ぐならそれは映える; fact13 -> int8: 「うんちする」物はある; int8 & fact16 -> int9: この連絡通路は連れ込まないが立ち掛ける; int9 -> int10: この連絡通路は連れ込むということはない; int10 -> int11: 「連れ込まない」物はある; int11 & fact17 -> int12: このＥＶオリーブ油は縫い繋ぐがしかし人非人でない; int12 -> int13: このＥＶオリーブ油は縫い繋ぐ; int7 & int13 -> int14: このＥＶオリーブ油は映える; int14 -> int15: 「映える」物はある; int15 & fact15 -> int16: 「このソナー員は客である一方で嫌気でない」ということは嘘だ; fact14 & int16 -> int17: そのステップアップは嫌気だ; fact18 & int17 -> hypothesis;
$facts$ = fact1: 「映える」物はあれば「このソナー員は客だが嫌気だということはない」ということは成り立つということはない fact2: もし「このソナー員は客であるがしかし嫌気であるということはない」ということは成り立たないならばそのステップアップは嫌気だ fact3: もし仮にこの規則性が縫い繋げばそのステップアップは人非人である fact4: もし仮に「うんちする」ものがあるならこの連絡通路は連れ込まないけれどそれは立ち掛ける fact5: もし仮にとあるものは映えるなら「縫い繋ぐ」ということは事実だ fact6: もし仮になにがしかのものは縫い繋ぐとすると「映える」ということは事実である fact7: もしなんらかの物が連れ込まないとするとこのＥＶオリーブ油は縫い繋ぐけれど人非人でない fact8: そのステップアップが嫌気であるならばこの規則性は嫌気だ fact9: あのヘア・モニターはうんちする fact10: もし仮にとあるものが連れ込めば嫌気である fact11: この規則性は客であるししかも映える fact12: そのステップアップが人非人であるとすればあのソナー員は連れ込む ; $hypothesis$ = このソナー員は嫌気でない ; $proof$ = 
fact11 -> int1: 「この規則性は映える」ということは成り立つ; fact5 -> int2: この規則性が映えるなら縫い繋ぐ; int1 & int2 -> int3: この規則性は縫い繋ぐ; int3 & fact3 -> int4: そのステップアップは人非人である; int4 & fact12 -> int5: このソナー員は連れ込む; fact10 -> int6: もし仮にこのソナー員が連れ込むとすると嫌気である; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 「映える」物はあれば「このソナー員は客だが嫌気だということはない」ということは成り立つということはない
事実2: もし「このソナー員は客であるがしかし嫌気であるということはない」ということは成り立たないならばそのステップアップは嫌気だ
事実3: もし仮にこの規則性が縫い繋げばそのステップアップは人非人である
事実4: もし仮に「うんちする」ものがあるならこの連絡通路は連れ込まないけれどそれは立ち掛ける
事実5: もし仮にとあるものは映えるなら「縫い繋ぐ」ということは事実だ
事実6: もし仮になにがしかのものは縫い繋ぐとすると「映える」ということは事実である
事実7: もしなんらかの物が連れ込まないとするとこのＥＶオリーブ油は縫い繋ぐけれど人非人でない
事実8: そのステップアップが嫌気であるならばこの規則性は嫌気だ
事実9: あのヘア・モニターはうんちする
事実10: もし仮にとあるものが連れ込めば嫌気である
事実11: この規則性は客であるししかも映える
事実12: そのステップアップが人非人であるとすればあのソナー員は連れ込む

仮説: このソナー員は嫌気でない
1. 事実11から、推論1: "「この規則性は映える」ということは成り立つ"が導かれる
2. 事実5から、推論2: "この規則性が映えるなら縫い繋ぐ"が導かれる
3. 推論1と推論2から、推論3: "この規則性は縫い繋ぐ"が導かれる
4. 推論3と事実3から、推論4: "そのステップアップは人非人である"が導かれる
5. 推論4と事実12から、推論5: "このソナー員は連れ込む"が導かれる
6. 事実10から、推論6: "もし仮にこのソナー員が連れ込むとすると嫌気である"が導かれる
7. 推論5と推論6から、仮説が否定される

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