あのＳＱＬ文はマスカラでない
fact1: あのＳＱＬ文はマスカラだ fact2: 冬らしいということはないものはマスカラであるしその上派する fact3: もしも「あの組織単位はマスカラだということはない一方で冬らしい」ということは成り立たないならあのＳＱＬ文はマスカラでない fact4: あの組織単位は擦り伸ばすかまたはそれは在庫リスクでないかあるいは両方ともだ fact5: 仮にあのＳＱＬ文が冬らしくないが仰ぐとしたらこの大平内閣は冬らしくない fact6: その基本的特徴はマスカラだ fact7: もし仮にあの組織単位が擦り伸ばすかもしくは在庫リスクでないならそれは緩まない
fact1 -> hypothesis;
fact1 -> hypothesis;
この大平内閣はマスカラである
fact9 -> int1: もしこの大平内閣が冬らしくないならマスカラであるし派する; fact10 & fact11 -> int2: あの組織単位は緩むということはない; int2 -> int3: 「緩まない」ものはある;
$facts$ = fact1: あのＳＱＬ文はマスカラだ fact2: 冬らしいということはないものはマスカラであるしその上派する fact3: もしも「あの組織単位はマスカラだということはない一方で冬らしい」ということは成り立たないならあのＳＱＬ文はマスカラでない fact4: あの組織単位は擦り伸ばすかまたはそれは在庫リスクでないかあるいは両方ともだ fact5: 仮にあのＳＱＬ文が冬らしくないが仰ぐとしたらこの大平内閣は冬らしくない fact6: その基本的特徴はマスカラだ fact7: もし仮にあの組織単位が擦り伸ばすかもしくは在庫リスクでないならそれは緩まない ; $hypothesis$ = あのＳＱＬ文はマスカラでない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あのＳＱＬ文はマスカラだ
事実2: 冬らしいということはないものはマスカラであるしその上派する
事実3: もしも「あの組織単位はマスカラだということはない一方で冬らしい」ということは成り立たないならあのＳＱＬ文はマスカラでない
事実4: あの組織単位は擦り伸ばすかまたはそれは在庫リスクでないかあるいは両方ともだ
事実5: 仮にあのＳＱＬ文が冬らしくないが仰ぐとしたらこの大平内閣は冬らしくない
事実6: その基本的特徴はマスカラだ
事実7: もし仮にあの組織単位が擦り伸ばすかもしくは在庫リスクでないならそれは緩まない

仮説: あのＳＱＬ文はマスカラでない
1. 事実1から、仮説が否定される

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