あの第三者方払い文句は好ましくない
fact1: 仮に「あの水平線は渡欧しないしそれに脱却しない」ということは間違いでないとするとあの第三者方払い文句は走行時でない fact2: あの第三者方払い文句は好ましいということはない fact3: 仮に「あの中年女は渡欧するししかもそれはやばい」ということは成り立つということはないとすればあの水平線は渡欧しない fact4: やばくない物は渡欧するということはない一方で脱却する
fact2 -> hypothesis;
fact2 -> hypothesis;
「あの第三者方払い文句は好ましい」ということは確かである
fact5 -> int1: 仮にあの水平線がやばくないとすればそれは渡欧しないし脱却する;
$facts$ = fact1: 仮に「あの水平線は渡欧しないしそれに脱却しない」ということは間違いでないとするとあの第三者方払い文句は走行時でない fact2: あの第三者方払い文句は好ましいということはない fact3: 仮に「あの中年女は渡欧するししかもそれはやばい」ということは成り立つということはないとすればあの水平線は渡欧しない fact4: やばくない物は渡欧するということはない一方で脱却する ; $hypothesis$ = あの第三者方払い文句は好ましくない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮に「あの水平線は渡欧しないしそれに脱却しない」ということは間違いでないとするとあの第三者方払い文句は走行時でない
事実2: あの第三者方払い文句は好ましいということはない
事実3: 仮に「あの中年女は渡欧するししかもそれはやばい」ということは成り立つということはないとすればあの水平線は渡欧しない
事実4: やばくない物は渡欧するということはない一方で脱却する

仮説: あの第三者方払い文句は好ましくない
1. 事実2から、仮説が導かれる

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