「その煽りは斬首しなくて加えて見為され得ない」ということは事実と異なる
fact1: もし仮に「苦悶する」物はあるとすると「そのセツルメント運動は傷付け合わない」ということは成り立つ fact2: あの学習意欲はアンバンドル要素でなくて女大学新評論でない fact3: もしあの憚りが傷付け合わないとすればあのセツルメント運動は資本勘定でない fact4: もし仮に「「アンバンドル要素だ」ということは本当である」物があるとするとそのセツルメント運動は傷付け合わないけれど斬首する fact5: 「あの憚りは苦悶するけどアンバンドル要素でない」ということは成り立たないなら「そのセツルメント運動は苦悶するということはない」ということは本当だ fact6: そのセツルメント運動は苦悶しないとすると「その煽りは斬首しないしその上見為され得ない」ということは正しいということはない fact7: あの憚りが資本勘定でないならばあの煽りは斬首しないしまた見為され得ない fact8: この川岸は打ち易いということはないが苦し fact9: もし仮に「「「苦悶する」ということは真実である」ものはある」ということは真実であるとしたらそのセツルメント運動は傷付け合うということはない一方でアンバンドル要素だ fact10: 「その煽りは斬首するということはない」ということは成り立つ fact11: もしその煽りが傷付け合わないならそのセツルメント運動は斬首しない fact12: もし「「見為され得る」ということは本当な」物があるならその煽りはアンバンドル要素でないけれどそれは傷付け合う fact13: このテロ攻撃は苦悶しない fact14: 仮にそのセツルメント運動が傷付け合わないがアンバンドル要素ならば「あの憚りは資本勘定でない」ということは成り立つ fact15: そのセツルメント運動は傷付け合わない fact16: もしもそのセツルメント運動が資本勘定でないならあの憚りは傷付け合わない fact17: もしあの憚りが資本勘定だということはないけどアンバンドル要素であるとしたらその煽りは斬首しない fact18: 仮にその煽りが傷付け合わないとしたらそのセツルメント運動は見為され得ない fact19: 「「苦悶する」ものはある」ということは成り立つ fact20: その煽りが傷付け合わないがしかし見為され得ればそのセツルメント運動は資本勘定でない fact21: もしもあの憚りは斬首しないけどアンバンドル要素であるとすれば「そのセツルメント運動は資本勘定であるということはない」ということは真実だ fact22: もし仮にその煽りが資本勘定でないとしたらあの憚りは見為され得ない fact23: 「見為され得る」ものがあるとするとそのセツルメント運動は傷付け合わないがそれは資本勘定である fact24: もしそのセツルメント運動が傷付け合うしおまけにそれがアンバンドル要素だとすればあの憚りは資本勘定であるということはない
fact19 & fact9 -> int1: そのセツルメント運動は傷付け合わないけどアンバンドル要素だ; int1 & fact14 -> int2: あの憚りは資本勘定でない; int2 & fact7 -> hypothesis;
fact19 & fact9 -> int1: (¬{B}{a} & {C}{a}); int1 & fact14 -> int2: ¬{D}{b}; int2 & fact7 -> hypothesis;
「その煽りは斬首しないし加えて見為され得ない」ということは間違っている
$facts$ = fact1: もし仮に「苦悶する」物はあるとすると「そのセツルメント運動は傷付け合わない」ということは成り立つ fact2: あの学習意欲はアンバンドル要素でなくて女大学新評論でない fact3: もしあの憚りが傷付け合わないとすればあのセツルメント運動は資本勘定でない fact4: もし仮に「「アンバンドル要素だ」ということは本当である」物があるとするとそのセツルメント運動は傷付け合わないけれど斬首する fact5: 「あの憚りは苦悶するけどアンバンドル要素でない」ということは成り立たないなら「そのセツルメント運動は苦悶するということはない」ということは本当だ fact6: そのセツルメント運動は苦悶しないとすると「その煽りは斬首しないしその上見為され得ない」ということは正しいということはない fact7: あの憚りが資本勘定でないならばあの煽りは斬首しないしまた見為され得ない fact8: この川岸は打ち易いということはないが苦し fact9: もし仮に「「「苦悶する」ということは真実である」ものはある」ということは真実であるとしたらそのセツルメント運動は傷付け合うということはない一方でアンバンドル要素だ fact10: 「その煽りは斬首するということはない」ということは成り立つ fact11: もしその煽りが傷付け合わないならそのセツルメント運動は斬首しない fact12: もし「「見為され得る」ということは本当な」物があるならその煽りはアンバンドル要素でないけれどそれは傷付け合う fact13: このテロ攻撃は苦悶しない fact14: 仮にそのセツルメント運動が傷付け合わないがアンバンドル要素ならば「あの憚りは資本勘定でない」ということは成り立つ fact15: そのセツルメント運動は傷付け合わない fact16: もしもそのセツルメント運動が資本勘定でないならあの憚りは傷付け合わない fact17: もしあの憚りが資本勘定だということはないけどアンバンドル要素であるとしたらその煽りは斬首しない fact18: 仮にその煽りが傷付け合わないとしたらそのセツルメント運動は見為され得ない fact19: 「「苦悶する」ものはある」ということは成り立つ fact20: その煽りが傷付け合わないがしかし見為され得ればそのセツルメント運動は資本勘定でない fact21: もしもあの憚りは斬首しないけどアンバンドル要素であるとすれば「そのセツルメント運動は資本勘定であるということはない」ということは真実だ fact22: もし仮にその煽りが資本勘定でないとしたらあの憚りは見為され得ない fact23: 「見為され得る」ものがあるとするとそのセツルメント運動は傷付け合わないがそれは資本勘定である fact24: もしそのセツルメント運動が傷付け合うしおまけにそれがアンバンドル要素だとすればあの憚りは資本勘定であるということはない ; $hypothesis$ = 「その煽りは斬首しなくて加えて見為され得ない」ということは事実と異なる ; $proof$ = 
fact19 & fact9 -> int1: そのセツルメント運動は傷付け合わないけどアンバンドル要素だ; int1 & fact14 -> int2: あの憚りは資本勘定でない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に「苦悶する」物はあるとすると「そのセツルメント運動は傷付け合わない」ということは成り立つ
事実2: あの学習意欲はアンバンドル要素でなくて女大学新評論でない
事実3: もしあの憚りが傷付け合わないとすればあのセツルメント運動は資本勘定でない
事実4: もし仮に「「アンバンドル要素だ」ということは本当である」物があるとするとそのセツルメント運動は傷付け合わないけれど斬首する
事実5: 「あの憚りは苦悶するけどアンバンドル要素でない」ということは成り立たないなら「そのセツルメント運動は苦悶するということはない」ということは本当だ
事実6: そのセツルメント運動は苦悶しないとすると「その煽りは斬首しないしその上見為され得ない」ということは正しいということはない
事実7: あの憚りが資本勘定でないならばあの煽りは斬首しないしまた見為され得ない
事実8: この川岸は打ち易いということはないが苦し
事実9: もし仮に「「「苦悶する」ということは真実である」ものはある」ということは真実であるとしたらそのセツルメント運動は傷付け合うということはない一方でアンバンドル要素だ
事実10: 「その煽りは斬首するということはない」ということは成り立つ
事実11: もしその煽りが傷付け合わないならそのセツルメント運動は斬首しない
事実12: もし「「見為され得る」ということは本当な」物があるならその煽りはアンバンドル要素でないけれどそれは傷付け合う
事実13: このテロ攻撃は苦悶しない
事実14: 仮にそのセツルメント運動が傷付け合わないがアンバンドル要素ならば「あの憚りは資本勘定でない」ということは成り立つ
事実15: そのセツルメント運動は傷付け合わない
事実16: もしもそのセツルメント運動が資本勘定でないならあの憚りは傷付け合わない
事実17: もしあの憚りが資本勘定だということはないけどアンバンドル要素であるとしたらその煽りは斬首しない
事実18: 仮にその煽りが傷付け合わないとしたらそのセツルメント運動は見為され得ない
事実19: 「「苦悶する」ものはある」ということは成り立つ
事実20: その煽りが傷付け合わないがしかし見為され得ればそのセツルメント運動は資本勘定でない
事実21: もしもあの憚りは斬首しないけどアンバンドル要素であるとすれば「そのセツルメント運動は資本勘定であるということはない」ということは真実だ
事実22: もし仮にその煽りが資本勘定でないとしたらあの憚りは見為され得ない
事実23: 「見為され得る」ものがあるとするとそのセツルメント運動は傷付け合わないがそれは資本勘定である
事実24: もしそのセツルメント運動が傷付け合うしおまけにそれがアンバンドル要素だとすればあの憚りは資本勘定であるということはない

仮説: 「その煽りは斬首しなくて加えて見為され得ない」ということは事実と異なる
1. 事実19と事実9から、推論1: "そのセツルメント運動は傷付け合わないけどアンバンドル要素だ"が導かれる
2. 推論1と事実14から、推論2: "あの憚りは資本勘定でない"が導かれる
3. 推論2と事実7から、仮説が否定される

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