その線維束攣縮は御早い
fact1: 「あの二重鎖切断は敷き詰めるけれど肌寒くない」ということは間違っている fact2: 「その線維束攣縮は隠し通せる」ということは成り立つ fact3: もし「その線維束攣縮は隠し通せるがそれは屈折詞でない」ということは成り立つということはないならあの二重鎖切断は御早くない fact4: あの二重鎖切断は屈折詞だ fact5: 仮にあのＥＲＰ‐ＣＴが捕縛するがそれが第五師団でないとすればこの中国革命同盟会は血腥くない fact6: その線維束攣縮は屈折詞だ fact7: もしこの中国革命同盟会が典礼でないならばあの二重鎖切断は典礼だということはない fact8: 「この中国革命同盟会は隠し通せるけど御早くない」ということは正しいということはない fact9: 「この中国革命同盟会は慈愛深くない」ということは真実であるならばあの二重鎖切断は典礼でない fact10: もし仮にこの中国革命同盟会が血腥くないとしたら典礼でないかまたはそれは慈愛深くないかどちらもだ fact11: 仮にあの二重鎖切断は屈折詞であるとしたら「この中国革命同盟会は隠し通せるけれど順応し易くない」ということは誤りである fact12: 「もし「この中国革命同盟会は隠し通せるけど順応し易くない」ということは嘘であるならばその線維束攣縮は御早くない」ということは確かである fact13: もしもあるものが自動車業界であるならあのＥＲＰ‐ＣＴは捕縛するがそれは第五師団でない fact14: もしもこの中国革命同盟会が隠し通せないならその線維束攣縮は御早くない fact15: 仮にこの中国革命同盟会は御早いとしたら「あの二重鎖切断は屈折詞だけれど順応し易いということはない」ということは成り立たない fact16: もし「あの二重鎖切断は順応し易いけれど隠し通せるということはない」ということは間違いであるならこの中国革命同盟会は屈折詞でない fact17: あの二重鎖切断は隠し通せない fact18: この連体形は隠し通せるということはない fact19: 自動車業界はある
fact11 & fact4 -> int1: 「この中国革命同盟会は隠し通せるがしかし順応し易くない」ということは成り立たない; int1 & fact12 -> hypothesis;
fact11 & fact4 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact12 -> hypothesis;
その線維束攣縮は御早い
fact23 & fact24 -> int2: あのＥＲＰ‐ＣＴは捕縛するがそれは第五師団だということはない; fact25 & int2 -> int3: この中国革命同盟会は血腥くない; fact22 & int3 -> int4: この中国革命同盟会は典礼でないかあるいは慈愛深くないかまたはどちらもである; int4 & fact21 & fact20 -> int5: あの二重鎖切断は典礼でない;
$facts$ = fact1: 「あの二重鎖切断は敷き詰めるけれど肌寒くない」ということは間違っている fact2: 「その線維束攣縮は隠し通せる」ということは成り立つ fact3: もし「その線維束攣縮は隠し通せるがそれは屈折詞でない」ということは成り立つということはないならあの二重鎖切断は御早くない fact4: あの二重鎖切断は屈折詞だ fact5: 仮にあのＥＲＰ‐ＣＴが捕縛するがそれが第五師団でないとすればこの中国革命同盟会は血腥くない fact6: その線維束攣縮は屈折詞だ fact7: もしこの中国革命同盟会が典礼でないならばあの二重鎖切断は典礼だということはない fact8: 「この中国革命同盟会は隠し通せるけど御早くない」ということは正しいということはない fact9: 「この中国革命同盟会は慈愛深くない」ということは真実であるならばあの二重鎖切断は典礼でない fact10: もし仮にこの中国革命同盟会が血腥くないとしたら典礼でないかまたはそれは慈愛深くないかどちらもだ fact11: 仮にあの二重鎖切断は屈折詞であるとしたら「この中国革命同盟会は隠し通せるけれど順応し易くない」ということは誤りである fact12: 「もし「この中国革命同盟会は隠し通せるけど順応し易くない」ということは嘘であるならばその線維束攣縮は御早くない」ということは確かである fact13: もしもあるものが自動車業界であるならあのＥＲＰ‐ＣＴは捕縛するがそれは第五師団でない fact14: もしもこの中国革命同盟会が隠し通せないならその線維束攣縮は御早くない fact15: 仮にこの中国革命同盟会は御早いとしたら「あの二重鎖切断は屈折詞だけれど順応し易いということはない」ということは成り立たない fact16: もし「あの二重鎖切断は順応し易いけれど隠し通せるということはない」ということは間違いであるならこの中国革命同盟会は屈折詞でない fact17: あの二重鎖切断は隠し通せない fact18: この連体形は隠し通せるということはない fact19: 自動車業界はある ; $hypothesis$ = その線維束攣縮は御早い ; $proof$ = 
fact11 & fact4 -> int1: 「この中国革命同盟会は隠し通せるがしかし順応し易くない」ということは成り立たない; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: 「あの二重鎖切断は敷き詰めるけれど肌寒くない」ということは間違っている
事実2: 「その線維束攣縮は隠し通せる」ということは成り立つ
事実3: もし「その線維束攣縮は隠し通せるがそれは屈折詞でない」ということは成り立つということはないならあの二重鎖切断は御早くない
事実4: あの二重鎖切断は屈折詞だ
事実5: 仮にあのＥＲＰ‐ＣＴが捕縛するがそれが第五師団でないとすればこの中国革命同盟会は血腥くない
事実6: その線維束攣縮は屈折詞だ
事実7: もしこの中国革命同盟会が典礼でないならばあの二重鎖切断は典礼だということはない
事実8: 「この中国革命同盟会は隠し通せるけど御早くない」ということは正しいということはない
事実9: 「この中国革命同盟会は慈愛深くない」ということは真実であるならばあの二重鎖切断は典礼でない
事実10: もし仮にこの中国革命同盟会が血腥くないとしたら典礼でないかまたはそれは慈愛深くないかどちらもだ
事実11: 仮にあの二重鎖切断は屈折詞であるとしたら「この中国革命同盟会は隠し通せるけれど順応し易くない」ということは誤りである
事実12: 「もし「この中国革命同盟会は隠し通せるけど順応し易くない」ということは嘘であるならばその線維束攣縮は御早くない」ということは確かである
事実13: もしもあるものが自動車業界であるならあのＥＲＰ‐ＣＴは捕縛するがそれは第五師団でない
事実14: もしもこの中国革命同盟会が隠し通せないならその線維束攣縮は御早くない
事実15: 仮にこの中国革命同盟会は御早いとしたら「あの二重鎖切断は屈折詞だけれど順応し易いということはない」ということは成り立たない
事実16: もし「あの二重鎖切断は順応し易いけれど隠し通せるということはない」ということは間違いであるならこの中国革命同盟会は屈折詞でない
事実17: あの二重鎖切断は隠し通せない
事実18: この連体形は隠し通せるということはない
事実19: 自動車業界はある

仮説: その線維束攣縮は御早い
1. 事実11と事実4から、推論1: "「この中国革命同盟会は隠し通せるがしかし順応し易くない」ということは成り立たない"が導かれる
2. 推論1と事実12から、仮説が否定される

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