この養女は叱り付ける
fact1: 「「叱り付けなくて円楼だ」ということは事実と異なる」物はある fact2: この飲み友達は分流するし加えてそれは練り合わせる fact3: この世間長者気質は府庁であるしさらに変わり行く fact4: 「「この養女は叱り付けるということはない一方で円楼である」ということは成り立つ」ということは成り立たない fact5: 「「叱り付けるがしかし円楼でない」ということは間違っている」ものはある fact6: 「この養女は叱り付ける一方でそれは円楼でない」ということは誤っている fact7: もし「「「叱り付けるということはないし加えて円楼でない」ということは成り立たない」ものはある」ということは成り立つとしたらこの飲み友達は分流しない fact8: この飲み友達は練り合わせる fact9: そのラジエーターは新しいということはない fact10: 「叱り付けないしさらに円楼でない」ものはある fact11: もし仮に何らかの物は分流しないとすると「それは叱り付ける」ということは確かである
void -> assump1: 以下のように仮定する。「この養女は叱り付けるということはないし円楼でない」ということは誤りである; assump1 -> int1: 「「叱り付けなくて円楼でない」ということは成り立たない」ものはある; int1 & fact7 -> int2: 「この飲み友達は分流しない」ということは確かだ; fact2 -> int3: この飲み友達は分流する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この養女が叱り付けないしさらに円楼でない; int5 -> hypothesis;
この養女は叱り付ける
fact12 -> int6: もしこの養女が分流しないとするとそれは叱り付ける;
$facts$ = fact1: 「「叱り付けなくて円楼だ」ということは事実と異なる」物はある fact2: この飲み友達は分流するし加えてそれは練り合わせる fact3: この世間長者気質は府庁であるしさらに変わり行く fact4: 「「この養女は叱り付けるということはない一方で円楼である」ということは成り立つ」ということは成り立たない fact5: 「「叱り付けるがしかし円楼でない」ということは間違っている」ものはある fact6: 「この養女は叱り付ける一方でそれは円楼でない」ということは誤っている fact7: もし「「「叱り付けるということはないし加えて円楼でない」ということは成り立たない」ものはある」ということは成り立つとしたらこの飲み友達は分流しない fact8: この飲み友達は練り合わせる fact9: そのラジエーターは新しいということはない fact10: 「叱り付けないしさらに円楼でない」ものはある fact11: もし仮に何らかの物は分流しないとすると「それは叱り付ける」ということは確かである ; $hypothesis$ = この養女は叱り付ける ; $proof$ = 
void -> assump1: 以下のように仮定する。「この養女は叱り付けるということはないし円楼でない」ということは誤りである; assump1 -> int1: 「「叱り付けなくて円楼でない」ということは成り立たない」ものはある; int1 & fact7 -> int2: 「この飲み友達は分流しない」ということは確かだ; fact2 -> int3: この飲み友達は分流する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この養女が叱り付けないしさらに円楼でない; int5 -> hypothesis; __DISPROVED__
事実1: 「「叱り付けなくて円楼だ」ということは事実と異なる」物はある
事実2: この飲み友達は分流するし加えてそれは練り合わせる
事実3: この世間長者気質は府庁であるしさらに変わり行く
事実4: 「「この養女は叱り付けるということはない一方で円楼である」ということは成り立つ」ということは成り立たない
事実5: 「「叱り付けるがしかし円楼でない」ということは間違っている」ものはある
事実6: 「この養女は叱り付ける一方でそれは円楼でない」ということは誤っている
事実7: もし「「「叱り付けるということはないし加えて円楼でない」ということは成り立たない」ものはある」ということは成り立つとしたらこの飲み友達は分流しない
事実8: この飲み友達は練り合わせる
事実9: そのラジエーターは新しいということはない
事実10: 「叱り付けないしさらに円楼でない」ものはある
事実11: もし仮に何らかの物は分流しないとすると「それは叱り付ける」ということは確かである

仮説: この養女は叱り付ける
1. 仮定1: 以下のように仮定する。「この養女は叱り付けるということはないし円楼でない」ということは誤りである
2. 仮定1から、推論1: "「「叱り付けなくて円楼でない」ということは成り立たない」ものはある"が導かれる
3. 推論1と事実7から、推論2: "「この飲み友達は分流しない」ということは確かだ"が導かれる
4. 事実2から、推論3: "この飲み友達は分流する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この養女が叱り付けないしさらに円楼でない"が導かれる
7. 推論5から、仮説が否定される

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