その法廷審理はめんど臭い
fact1: 「性交する」物はある fact2: もし仮にとあるものは五十歳前後でないとすると「それは狙撃するしかつそれはデコちゃりだ」ということは真実でない fact3: 仮に「そのストゥールは狙撃するしデコちゃりだ」ということは成り立つということはないならばあの法廷審理はめんど臭くない fact4: 「この計量モデルは合同会社でない」ということは成り立たない fact5: もしも「肺性心でその上合同会社である」物があるとするとそのストゥールは五十歳前後でない fact6: この計量モデルは肺性心だ
fact6 & fact4 -> int1: この計量モデルは肺性心であるし合同会社だ; int1 -> int2: 「肺性心であるし合同会社である」ものはある; int2 & fact5 -> int3: そのストゥールは五十歳前後でない; fact2 -> int4: 仮にそのストゥールは五十歳前後でないとすれば「それは狙撃するしまたデコちゃりである」ということは間違いだ; int3 & int4 -> int5: 「そのストゥールは狙撃するしおまけにデコちゃりである」ということは間違っている; int5 & fact3 -> hypothesis;
$facts$ = fact1: 「性交する」物はある fact2: もし仮にとあるものは五十歳前後でないとすると「それは狙撃するしかつそれはデコちゃりだ」ということは真実でない fact3: 仮に「そのストゥールは狙撃するしデコちゃりだ」ということは成り立つということはないならばあの法廷審理はめんど臭くない fact4: 「この計量モデルは合同会社でない」ということは成り立たない fact5: もしも「肺性心でその上合同会社である」物があるとするとそのストゥールは五十歳前後でない fact6: この計量モデルは肺性心だ ; $hypothesis$ = その法廷審理はめんど臭い ; $proof$ = 
fact6 & fact4 -> int1: この計量モデルは肺性心であるし合同会社だ; int1 -> int2: 「肺性心であるし合同会社である」ものはある; int2 & fact5 -> int3: そのストゥールは五十歳前後でない; fact2 -> int4: 仮にそのストゥールは五十歳前後でないとすれば「それは狙撃するしまたデコちゃりである」ということは間違いだ; int3 & int4 -> int5: 「そのストゥールは狙撃するしおまけにデコちゃりである」ということは間違っている; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: 「性交する」物はある
事実2: もし仮にとあるものは五十歳前後でないとすると「それは狙撃するしかつそれはデコちゃりだ」ということは真実でない
事実3: 仮に「そのストゥールは狙撃するしデコちゃりだ」ということは成り立つということはないならばあの法廷審理はめんど臭くない
事実4: 「この計量モデルは合同会社でない」ということは成り立たない
事実5: もしも「肺性心でその上合同会社である」物があるとするとそのストゥールは五十歳前後でない
事実6: この計量モデルは肺性心だ

仮説: その法廷審理はめんど臭い
1. 事実6と事実4から、推論1: "この計量モデルは肺性心であるし合同会社だ"が導かれる
2. 推論1から、推論2: "「肺性心であるし合同会社である」ものはある"が導かれる
3. 推論2と事実5から、推論3: "そのストゥールは五十歳前後でない"が導かれる
4. 事実2から、推論4: "仮にそのストゥールは五十歳前後でないとすれば「それは狙撃するしまたデコちゃりである」ということは間違いだ"が導かれる
5. 推論3と推論4から、推論5: "「そのストゥールは狙撃するしおまけにデコちゃりである」ということは間違っている"が導かれる
6. 推論5と事実3から、仮説が否定される

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