そのＯＨＰは吸い続けるしまたそれは破り取る
fact1: もしもあのＴＣが影響値であるとするとそのマンション法は印象採得である fact2: もしとある物が採点しないならばそれは破り取るし溜め込み易い fact3: もしあのＴＣは破り取らないならば「そのＯＨＰは吸い続けるし破り取る」ということは間違いだ fact4: そのマンション法は印象採得でない fact5: もし仮に「あのＴＣは実戦部隊であるがしかし影響値でない」ということは成り立たないとしたら「そのＯＨＰは採点するということはない」ということは確かだ fact6: もしもあのＴＣが溜め込み易いならばその本年は座面高でないけれど破り取る fact7: もし仮にあのＴＣが実戦部隊であるとすればそのマンション法は印象採得だ fact8: 仮にあのＴＣが採点しないとしたら影響値であるかそれは実戦部隊であるかあるいは両方ともだ fact9: 仮にあのＴＣは座面高であるかまたは溜め込み易いかもしくは両方であるならそれは採点しない fact10: あのＴＣが破り取るとすればそれは座面高だ fact11: もしもそのＯＨＰは影響値であるとしたら「あのＴＣは破り取る」ということは正しい
void -> assump1: 以下のように仮定する。あのＴＣは破り取る; fact10 & assump1 -> int1: あのＴＣは座面高である; int1 -> int2: あのＴＣは座面高であるかもしくはそれは溜め込み易いか両方ともだ; int2 & fact9 -> int3: あのＴＣは採点しない; int3 & fact8 -> int4: あのＴＣは影響値であるかまたは実戦部隊であるかまたは両方ともだ; int4 & fact1 & fact7 -> int5: そのマンション法は印象採得だ; int5 & fact4 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのＴＣは破り取らない; int7 & fact3 -> hypothesis;
そのＯＨＰは吸い続けるしそれにそれは破り取る
fact13 -> int8: もしそのＯＨＰが採点しないとすると破り取るしおまけにそれは溜め込み易い;
$facts$ = fact1: もしもあのＴＣが影響値であるとするとそのマンション法は印象採得である fact2: もしとある物が採点しないならばそれは破り取るし溜め込み易い fact3: もしあのＴＣは破り取らないならば「そのＯＨＰは吸い続けるし破り取る」ということは間違いだ fact4: そのマンション法は印象採得でない fact5: もし仮に「あのＴＣは実戦部隊であるがしかし影響値でない」ということは成り立たないとしたら「そのＯＨＰは採点するということはない」ということは確かだ fact6: もしもあのＴＣが溜め込み易いならばその本年は座面高でないけれど破り取る fact7: もし仮にあのＴＣが実戦部隊であるとすればそのマンション法は印象採得だ fact8: 仮にあのＴＣが採点しないとしたら影響値であるかそれは実戦部隊であるかあるいは両方ともだ fact9: 仮にあのＴＣは座面高であるかまたは溜め込み易いかもしくは両方であるならそれは採点しない fact10: あのＴＣが破り取るとすればそれは座面高だ fact11: もしもそのＯＨＰは影響値であるとしたら「あのＴＣは破り取る」ということは正しい ; $hypothesis$ = そのＯＨＰは吸い続けるしまたそれは破り取る ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＴＣは破り取る; fact10 & assump1 -> int1: あのＴＣは座面高である; int1 -> int2: あのＴＣは座面高であるかもしくはそれは溜め込み易いか両方ともだ; int2 & fact9 -> int3: あのＴＣは採点しない; int3 & fact8 -> int4: あのＴＣは影響値であるかまたは実戦部隊であるかまたは両方ともだ; int4 & fact1 & fact7 -> int5: そのマンション法は印象採得だ; int5 & fact4 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのＴＣは破り取らない; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあのＴＣが影響値であるとするとそのマンション法は印象採得である
事実2: もしとある物が採点しないならばそれは破り取るし溜め込み易い
事実3: もしあのＴＣは破り取らないならば「そのＯＨＰは吸い続けるし破り取る」ということは間違いだ
事実4: そのマンション法は印象採得でない
事実5: もし仮に「あのＴＣは実戦部隊であるがしかし影響値でない」ということは成り立たないとしたら「そのＯＨＰは採点するということはない」ということは確かだ
事実6: もしもあのＴＣが溜め込み易いならばその本年は座面高でないけれど破り取る
事実7: もし仮にあのＴＣが実戦部隊であるとすればそのマンション法は印象採得だ
事実8: 仮にあのＴＣが採点しないとしたら影響値であるかそれは実戦部隊であるかあるいは両方ともだ
事実9: 仮にあのＴＣは座面高であるかまたは溜め込み易いかもしくは両方であるならそれは採点しない
事実10: あのＴＣが破り取るとすればそれは座面高だ
事実11: もしもそのＯＨＰは影響値であるとしたら「あのＴＣは破り取る」ということは正しい

仮説: そのＯＨＰは吸い続けるしまたそれは破り取る
1. 仮定1: 以下のように仮定する。あのＴＣは破り取る
2. 事実10と仮定1から、推論1: "あのＴＣは座面高である"が導かれる
3. 推論1から、推論2: "あのＴＣは座面高であるかもしくはそれは溜め込み易いか両方ともだ"が導かれる
4. 推論2と事実9から、推論3: "あのＴＣは採点しない"が導かれる
5. 推論3と事実8から、推論4: "あのＴＣは影響値であるかまたは実戦部隊であるかまたは両方ともだ"が導かれる
6. 推論4と事実1と事実7から、推論5: "そのマンション法は印象採得だ"が導かれる
7. 推論5と事実4から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのＴＣは破り取らない"が導かれる
9. 推論7と事実3から、仮説が否定される

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