この街宣車は染影である
fact1: もしこの高波が七年判決である一方で固いということはないならばこの街宣車は染影でない fact2: もしも「この高波は近似出来る」ということは確かならばそれは七年判決である fact3: 「この高波は旗幟である」ということは確かであるとすればそれは七年判決だがしかし固くない fact4: この高波は固くない fact5: もしもこの高波は旗幟であるとすると「固くない」ということは正しい fact6: この街宣車は波及するけど得難くない fact7: 過不足無くない物は旗幟であるし染影である fact8: この街宣車は旗幟だ fact9: この高波は旗幟である fact10: もし仮にこの高波は七年判決で固いとすると「この街宣車は染影でない」ということは確かである
fact3 & fact9 -> int1: この高波は七年判決であるが固くない; int1 & fact1 -> hypothesis;
fact3 & fact9 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis;
その半労働力は旗幟だ
fact11 -> int2: 仮にその半労働力が過不足無くないならそれは旗幟であるしそれに染影である;
$facts$ = fact1: もしこの高波が七年判決である一方で固いということはないならばこの街宣車は染影でない fact2: もしも「この高波は近似出来る」ということは確かならばそれは七年判決である fact3: 「この高波は旗幟である」ということは確かであるとすればそれは七年判決だがしかし固くない fact4: この高波は固くない fact5: もしもこの高波は旗幟であるとすると「固くない」ということは正しい fact6: この街宣車は波及するけど得難くない fact7: 過不足無くない物は旗幟であるし染影である fact8: この街宣車は旗幟だ fact9: この高波は旗幟である fact10: もし仮にこの高波は七年判決で固いとすると「この街宣車は染影でない」ということは確かである ; $hypothesis$ = この街宣車は染影である ; $proof$ = 
fact3 & fact9 -> int1: この高波は七年判決であるが固くない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしこの高波が七年判決である一方で固いということはないならばこの街宣車は染影でない
事実2: もしも「この高波は近似出来る」ということは確かならばそれは七年判決である
事実3: 「この高波は旗幟である」ということは確かであるとすればそれは七年判決だがしかし固くない
事実4: この高波は固くない
事実5: もしもこの高波は旗幟であるとすると「固くない」ということは正しい
事実6: この街宣車は波及するけど得難くない
事実7: 過不足無くない物は旗幟であるし染影である
事実8: この街宣車は旗幟だ
事実9: この高波は旗幟である
事実10: もし仮にこの高波は七年判決で固いとすると「この街宣車は染影でない」ということは確かである

仮説: この街宣車は染影である
1. 事実3と事実9から、推論1: "この高波は七年判決であるが固くない"が導かれる
2. 推論1と事実1から、仮説が否定される

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