この血胸は巻き戻しでない
fact1: もしとある物が第三章以降だということはない一方で課税ベースだとすると撮影出来ない fact2: もしこの賽銭箱が十三日付けでないしかつ畑作でないとすると蹴破らない fact3: この賽銭箱が蹴破らないとしたらこの血胸は巻き戻しであるということはない fact4: 仮に「なんらかのものは巻き戻しでないしかつ蹴破らない」ということは成り立たないとしたらそれは巻き戻しだ fact5: 何らかの物は撮影出来るということはないなら「それは巻き戻しでないし蹴破らない」ということは誤りだ fact6: この賽銭箱は十三日付けでなくて更に畑作でない fact7: もしこの賽銭箱が撮影出来ないとしたらこの血胸は撮影出来ない
fact2 & fact6 -> int1: この賽銭箱は蹴破るということはない; int1 & fact3 -> hypothesis;
fact2 & fact6 -> int1: ¬{B}{a}; int1 & fact3 -> hypothesis;
この血胸は巻き戻しだ
fact8 -> int2: 仮に「この血胸は巻き戻しでないしその上それは蹴破らない」ということは真実でないとすれば「巻き戻しである」ということは成り立つ; fact10 -> int3: もし仮にこの血胸は撮影出来ないなら「それは巻き戻しであるということはなくてそれは蹴破らない」ということは成り立たない; fact11 -> int4: もしもこの賽銭箱は第三章以降でないが課税ベースだとしたら撮影出来ない;
$facts$ = fact1: もしとある物が第三章以降だということはない一方で課税ベースだとすると撮影出来ない fact2: もしこの賽銭箱が十三日付けでないしかつ畑作でないとすると蹴破らない fact3: この賽銭箱が蹴破らないとしたらこの血胸は巻き戻しであるということはない fact4: 仮に「なんらかのものは巻き戻しでないしかつ蹴破らない」ということは成り立たないとしたらそれは巻き戻しだ fact5: 何らかの物は撮影出来るということはないなら「それは巻き戻しでないし蹴破らない」ということは誤りだ fact6: この賽銭箱は十三日付けでなくて更に畑作でない fact7: もしこの賽銭箱が撮影出来ないとしたらこの血胸は撮影出来ない ; $hypothesis$ = この血胸は巻き戻しでない ; $proof$ = 
fact2 & fact6 -> int1: この賽銭箱は蹴破るということはない; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしとある物が第三章以降だということはない一方で課税ベースだとすると撮影出来ない
事実2: もしこの賽銭箱が十三日付けでないしかつ畑作でないとすると蹴破らない
事実3: この賽銭箱が蹴破らないとしたらこの血胸は巻き戻しであるということはない
事実4: 仮に「なんらかのものは巻き戻しでないしかつ蹴破らない」ということは成り立たないとしたらそれは巻き戻しだ
事実5: 何らかの物は撮影出来るということはないなら「それは巻き戻しでないし蹴破らない」ということは誤りだ
事実6: この賽銭箱は十三日付けでなくて更に畑作でない
事実7: もしこの賽銭箱が撮影出来ないとしたらこの血胸は撮影出来ない

仮説: この血胸は巻き戻しでない
1. 事実2と事実6から、推論1: "この賽銭箱は蹴破るということはない"が導かれる
2. 推論1と事実3から、仮説が導かれる

よって、仮説が証明されました。