あの宮司は林産物でない
fact1: もし仮にむさくて立て易いものがあるとするとあの宮司は林産物である fact2: あの宮司は重々しい fact3: この未遂罪はむさくておまけに林産物である fact4: 「ポータブルトイレな」物はある fact5: あの宮司は消化し難い fact6: 「訴え続ける」物はある fact7: その名士達はむさい fact8: 何かは日本労働研究機構受託調査である fact9: このズーミングは立て易い fact10: この未遂罪は林産物だ fact11: このジーンズ姿は林産物であるしまた重い fact12: この未遂罪はむさくて立て易い fact13: この未遂罪は林産物であるし加えてそれはむさい fact14: 「もし仮に「あの宮司は重々しい」ということは成り立つとすればあの宮司はむさい」ということは成り立つ fact15: なんらかの物がむさいならばそれは蘇らす fact16: 仮にあの支援活動がむさくないか林産物だということはないなら「あの宮司は林産物でない」ということは成り立つ
fact12 -> int1: なんらかの物はむさいししかもそれは立て易い; int1 & fact1 -> hypothesis;
とあるものは蘇らすしそれに一身である
fact19 -> int2: もし仮にあの宮司がむさいなら蘇らす; fact18 & fact17 -> int3: あの宮司はむさい; int2 & int3 -> int4: あの宮司は蘇らす;
$facts$ = fact1: もし仮にむさくて立て易いものがあるとするとあの宮司は林産物である fact2: あの宮司は重々しい fact3: この未遂罪はむさくておまけに林産物である fact4: 「ポータブルトイレな」物はある fact5: あの宮司は消化し難い fact6: 「訴え続ける」物はある fact7: その名士達はむさい fact8: 何かは日本労働研究機構受託調査である fact9: このズーミングは立て易い fact10: この未遂罪は林産物だ fact11: このジーンズ姿は林産物であるしまた重い fact12: この未遂罪はむさくて立て易い fact13: この未遂罪は林産物であるし加えてそれはむさい fact14: 「もし仮に「あの宮司は重々しい」ということは成り立つとすればあの宮司はむさい」ということは成り立つ fact15: なんらかの物がむさいならばそれは蘇らす fact16: 仮にあの支援活動がむさくないか林産物だということはないなら「あの宮司は林産物でない」ということは成り立つ ; $hypothesis$ = あの宮司は林産物でない ; $proof$ = 
fact12 -> int1: なんらかの物はむさいししかもそれは立て易い; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にむさくて立て易いものがあるとするとあの宮司は林産物である
事実2: あの宮司は重々しい
事実3: この未遂罪はむさくておまけに林産物である
事実4: 「ポータブルトイレな」物はある
事実5: あの宮司は消化し難い
事実6: 「訴え続ける」物はある
事実7: その名士達はむさい
事実8: 何かは日本労働研究機構受託調査である
事実9: このズーミングは立て易い
事実10: この未遂罪は林産物だ
事実11: このジーンズ姿は林産物であるしまた重い
事実12: この未遂罪はむさくて立て易い
事実13: この未遂罪は林産物であるし加えてそれはむさい
事実14: 「もし仮に「あの宮司は重々しい」ということは成り立つとすればあの宮司はむさい」ということは成り立つ
事実15: なんらかの物がむさいならばそれは蘇らす
事実16: 仮にあの支援活動がむさくないか林産物だということはないなら「あの宮司は林産物でない」ということは成り立つ

仮説: あの宮司は林産物でない
1. 事実12から、推論1: "なんらかの物はむさいししかもそれは立て易い"が導かれる
2. 推論1と事実1から、仮説が否定される

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