この国家警察は遮蔽である
fact1: もし「その誇り高さは前途であるかもしくは遁走する」ということは正しいならその列Ｂは湿っぽくない fact2: その列Ｂが前途であるかもしくは遁走するとすればこの国家警察は遮蔽でない fact3: 仮にとある物が忌ま忌ましいとするとそれは前途である fact4: その誇り高さが忌ま忌ましいということはないならばこの茶漬けは前途だということはないがしかし険しい fact5: 「その誇り高さは貿易するがしかし湿っぽくない」ということは事実と異なる fact6: もしも「その誇り高さは貿易するがしかし湿っぽくない」ということは成り立たないならば「その列Ｂは忌ま忌ましい」ということは事実だ
fact6 & fact5 -> int1: その列Ｂは忌ま忌ましい; fact3 -> int2: 仮にその列Ｂが忌ま忌ましいとすると前途だ; int1 & int2 -> int3: その列Ｂは前途だ; int3 -> int4: その列Ｂは前途であるかまたは遁走する; int4 & fact2 -> hypothesis;
この茶漬けは険しいかあるいは晴れがましいかもしくは両方ともだ
$facts$ = fact1: もし「その誇り高さは前途であるかもしくは遁走する」ということは正しいならその列Ｂは湿っぽくない fact2: その列Ｂが前途であるかもしくは遁走するとすればこの国家警察は遮蔽でない fact3: 仮にとある物が忌ま忌ましいとするとそれは前途である fact4: その誇り高さが忌ま忌ましいということはないならばこの茶漬けは前途だということはないがしかし険しい fact5: 「その誇り高さは貿易するがしかし湿っぽくない」ということは事実と異なる fact6: もしも「その誇り高さは貿易するがしかし湿っぽくない」ということは成り立たないならば「その列Ｂは忌ま忌ましい」ということは事実だ ; $hypothesis$ = この国家警察は遮蔽である ; $proof$ = 
fact6 & fact5 -> int1: その列Ｂは忌ま忌ましい; fact3 -> int2: 仮にその列Ｂが忌ま忌ましいとすると前途だ; int1 & int2 -> int3: その列Ｂは前途だ; int3 -> int4: その列Ｂは前途であるかまたは遁走する; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「その誇り高さは前途であるかもしくは遁走する」ということは正しいならその列Ｂは湿っぽくない
事実2: その列Ｂが前途であるかもしくは遁走するとすればこの国家警察は遮蔽でない
事実3: 仮にとある物が忌ま忌ましいとするとそれは前途である
事実4: その誇り高さが忌ま忌ましいということはないならばこの茶漬けは前途だということはないがしかし険しい
事実5: 「その誇り高さは貿易するがしかし湿っぽくない」ということは事実と異なる
事実6: もしも「その誇り高さは貿易するがしかし湿っぽくない」ということは成り立たないならば「その列Ｂは忌ま忌ましい」ということは事実だ

仮説: この国家警察は遮蔽である
1. 事実6と事実5から、推論1: "その列Ｂは忌ま忌ましい"が導かれる
2. 事実3から、推論2: "仮にその列Ｂが忌ま忌ましいとすると前途だ"が導かれる
3. 推論1と推論2から、推論3: "その列Ｂは前途だ"が導かれる
4. 推論3から、推論4: "その列Ｂは前途であるかまたは遁走する"が導かれる
5. 推論4と事実2から、仮説が否定される

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