あの吸い込み口は励まさない
fact1: すべては二次元バーコードだしさらにそれは警護する fact2: あの検察官は励ます fact3: あの技術吏員は気取り屋である fact4: もし仮に「そのスパイス類は励ますし錆無い」ということは成り立たないとすればあの吸い込み口は励まさない fact5: もしもそのスパイス類は警護するとすると「それは画像信号φであるがしかし鯣烏賊類でない」ということは偽である fact6: とある物は物価上昇率であるとすると錆無くない一方で励ます fact7: あの味方機は励ます fact8: もしも「「画像信号φだがしかし鯣烏賊類でない」ということは誤っている」物があるとすればあの吸い込み口は気取り屋だということはない fact9: もし仮にあの吸い込み口が気取り屋でないならあの沈は上行するし物価上昇率である fact10: あの吸い込み口は励ます
fact10 -> hypothesis;
fact10 -> hypothesis;
あの沈は励ます
fact13 -> int1: 「あの沈は物価上昇率だ」ということは確かであるならば錆無くないけど励ます; fact15 -> int2: そのスパイス類は二次元バーコードであるし加えて警護する; int2 -> int3: そのスパイス類は警護する; fact12 & int3 -> int4: 「そのスパイス類は画像信号φだがしかし鯣烏賊類でない」ということは本当であるということはない; int4 -> int5: 「「画像信号φであるしかつ鯣烏賊類でない」ということは嘘な」ものはある; int5 & fact14 -> int6: あの吸い込み口は気取り屋でない; fact11 & int6 -> int7: あの沈は上行するし物価上昇率である; int7 -> int8: あの沈は物価上昇率だ; int1 & int8 -> int9: あの沈は錆無くないけど励ます; int9 -> hypothesis;
$facts$ = fact1: すべては二次元バーコードだしさらにそれは警護する fact2: あの検察官は励ます fact3: あの技術吏員は気取り屋である fact4: もし仮に「そのスパイス類は励ますし錆無い」ということは成り立たないとすればあの吸い込み口は励まさない fact5: もしもそのスパイス類は警護するとすると「それは画像信号φであるがしかし鯣烏賊類でない」ということは偽である fact6: とある物は物価上昇率であるとすると錆無くない一方で励ます fact7: あの味方機は励ます fact8: もしも「「画像信号φだがしかし鯣烏賊類でない」ということは誤っている」物があるとすればあの吸い込み口は気取り屋だということはない fact9: もし仮にあの吸い込み口が気取り屋でないならあの沈は上行するし物価上昇率である fact10: あの吸い込み口は励ます ; $hypothesis$ = あの吸い込み口は励まさない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: すべては二次元バーコードだしさらにそれは警護する
事実2: あの検察官は励ます
事実3: あの技術吏員は気取り屋である
事実4: もし仮に「そのスパイス類は励ますし錆無い」ということは成り立たないとすればあの吸い込み口は励まさない
事実5: もしもそのスパイス類は警護するとすると「それは画像信号φであるがしかし鯣烏賊類でない」ということは偽である
事実6: とある物は物価上昇率であるとすると錆無くない一方で励ます
事実7: あの味方機は励ます
事実8: もしも「「画像信号φだがしかし鯣烏賊類でない」ということは誤っている」物があるとすればあの吸い込み口は気取り屋だということはない
事実9: もし仮にあの吸い込み口が気取り屋でないならあの沈は上行するし物価上昇率である
事実10: あの吸い込み口は励ます

仮説: あの吸い込み口は励まさない
1. 事実10から、仮説が否定される

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