この動作研究はすりゃ良い
fact1: そのフォンは突き刺さる fact2: もしなにかはサービス会社であるしすりゃ良いならこの動作研究は耕さない fact3: もし仮にある物がサービス会社だし突き刺さるとするとこの動作研究はすりゃ良くない fact4: 「耕す」ものはある fact5: そのフォンは耕すしまたサービス会社だ fact6: もし何かは耕せばそれはすりゃ良い
fact5 -> int1: そのフォンはサービス会社である; int1 & fact1 -> int2: そのフォンはサービス会社であるしそれにそれは突き刺さる; int2 -> int3: 「なんらかのものはサービス会社であるし更に突き刺さる」ということは事実だ; int3 & fact3 -> hypothesis;
この動作研究はすりゃ良い
fact7 -> int4: この動作研究が耕すならそれはすりゃ良い;
$facts$ = fact1: そのフォンは突き刺さる fact2: もしなにかはサービス会社であるしすりゃ良いならこの動作研究は耕さない fact3: もし仮にある物がサービス会社だし突き刺さるとするとこの動作研究はすりゃ良くない fact4: 「耕す」ものはある fact5: そのフォンは耕すしまたサービス会社だ fact6: もし何かは耕せばそれはすりゃ良い ; $hypothesis$ = この動作研究はすりゃ良い ; $proof$ = 
fact5 -> int1: そのフォンはサービス会社である; int1 & fact1 -> int2: そのフォンはサービス会社であるしそれにそれは突き刺さる; int2 -> int3: 「なんらかのものはサービス会社であるし更に突き刺さる」ということは事実だ; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: そのフォンは突き刺さる
事実2: もしなにかはサービス会社であるしすりゃ良いならこの動作研究は耕さない
事実3: もし仮にある物がサービス会社だし突き刺さるとするとこの動作研究はすりゃ良くない
事実4: 「耕す」ものはある
事実5: そのフォンは耕すしまたサービス会社だ
事実6: もし何かは耕せばそれはすりゃ良い

仮説: この動作研究はすりゃ良い
1. 事実5から、推論1: "そのフォンはサービス会社である"が導かれる
2. 推論1と事実1から、推論2: "そのフォンはサービス会社であるしそれにそれは突き刺さる"が導かれる
3. 推論2から、推論3: "「なんらかのものはサービス会社であるし更に突き刺さる」ということは事実だ"が導かれる
4. 推論3と事実3から、仮説が否定される

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