あのデータシートは乗り降り自由でないしその上秘密めくということはない
fact1: 「あのデータシートは前各項だ」ということは正しい fact2: もしあのデータシートは前各項であるなら「乗り降り自由でないしそれにそれは秘密めくということはない」ということは成り立たない fact3: もし何かは海参でないとしたらそれは前各項でない fact4: もしも何らかのものは前各項でないならば「素っ飛ばないし悪くない」ということは偽だ
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
「この弁護団は素っ飛ばないしまた悪くない」ということは偽だ
fact5 -> int1: もし仮にこの弁護団は前各項でないなら「それは素っ飛ばないしそれに悪くない」ということは真実でない; fact6 -> int2: 仮に「この弁護団は海参でない」ということは真実ならば前各項でない;
$facts$ = fact1: 「あのデータシートは前各項だ」ということは正しい fact2: もしあのデータシートは前各項であるなら「乗り降り自由でないしそれにそれは秘密めくということはない」ということは成り立たない fact3: もし何かは海参でないとしたらそれは前各項でない fact4: もしも何らかのものは前各項でないならば「素っ飛ばないし悪くない」ということは偽だ ; $hypothesis$ = あのデータシートは乗り降り自由でないしその上秘密めくということはない ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: 「あのデータシートは前各項だ」ということは正しい
事実2: もしあのデータシートは前各項であるなら「乗り降り自由でないしそれにそれは秘密めくということはない」ということは成り立たない
事実3: もし何かは海参でないとしたらそれは前各項でない
事実4: もしも何らかのものは前各項でないならば「素っ飛ばないし悪くない」ということは偽だ

仮説: あのデータシートは乗り降り自由でないしその上秘密めくということはない
1. 事実2と事実1から、仮説が否定される

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