この強調は推進しないしさらにレッドパージだということはない
fact1: もしもこの本郷廷悦は推進すれば「この強調は真白いけどレッドパージでない」ということは間違いだ fact2: この本郷廷悦は真白いならば「この強調は推進しないがしかしレッドパージである」ということは偽だ fact3: 「この本郷廷悦は隔てでないしさらに推進しない」ということは事実でない fact4: もし仮になにかは傾き易いとすればそれは真白い fact5: 「その統一地方選挙はせこいということはなくて更に各社共通でない」ということは嘘である fact6: この本郷廷悦は真白い fact7: もしこの本郷廷悦は真白いとすると「この強調は推進しないしかつそれはレッドパージでない」ということは事実と異なる fact8: 「この強調は真白くなくてしかもレッドパージでない」ということは本当でない fact9: 「この強調は推進するということはないがしかしレッドパージである」ということは確かでない
fact7 & fact6 -> hypothesis;
fact7 & fact6 -> hypothesis;
このＲＣは推進する
fact10 -> int1: もし仮にこのＲＣが傾き易いなら真白い;
$facts$ = fact1: もしもこの本郷廷悦は推進すれば「この強調は真白いけどレッドパージでない」ということは間違いだ fact2: この本郷廷悦は真白いならば「この強調は推進しないがしかしレッドパージである」ということは偽だ fact3: 「この本郷廷悦は隔てでないしさらに推進しない」ということは事実でない fact4: もし仮になにかは傾き易いとすればそれは真白い fact5: 「その統一地方選挙はせこいということはなくて更に各社共通でない」ということは嘘である fact6: この本郷廷悦は真白い fact7: もしこの本郷廷悦は真白いとすると「この強調は推進しないしかつそれはレッドパージでない」ということは事実と異なる fact8: 「この強調は真白くなくてしかもレッドパージでない」ということは本当でない fact9: 「この強調は推進するということはないがしかしレッドパージである」ということは確かでない ; $hypothesis$ = この強調は推進しないしさらにレッドパージだということはない ; $proof$ = 
fact7 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもこの本郷廷悦は推進すれば「この強調は真白いけどレッドパージでない」ということは間違いだ
事実2: この本郷廷悦は真白いならば「この強調は推進しないがしかしレッドパージである」ということは偽だ
事実3: 「この本郷廷悦は隔てでないしさらに推進しない」ということは事実でない
事実4: もし仮になにかは傾き易いとすればそれは真白い
事実5: 「その統一地方選挙はせこいということはなくて更に各社共通でない」ということは嘘である
事実6: この本郷廷悦は真白い
事実7: もしこの本郷廷悦は真白いとすると「この強調は推進しないしかつそれはレッドパージでない」ということは事実と異なる
事実8: 「この強調は真白くなくてしかもレッドパージでない」ということは本当でない
事実9: 「この強調は推進するということはないがしかしレッドパージである」ということは確かでない

仮説: この強調は推進しないしさらにレッドパージだということはない
1. 事実7と事実6から、仮説が否定される

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