このフランボワーズは委託しない
fact1: この化学構造は急性疾患だしさらに静脈注射する fact2: 仮にその犯行が妨害すればこの化学構造は短縮化しない一方で弛み無い fact3: もしこの化学構造が短縮化するということはないとしたらこの忘恩は急性疾患だ一方で弛み無くない fact4: 仮に「その犯行は有機衛星でフォーカスする」ということは誤りだとすればそれはフォーカスしない fact5: 弛み無いものは委託しない fact6: とあるものは弛み無くないかそれは短縮化しないかあるいはどちらもである fact7: ある物は急性疾患である fact8: 息子達は委託するけど静脈注射しない fact9: 弛み無くない物があるとしたらこの化学構造は妨害する fact10: もし仮にこのフランボワーズが妨害しなくておまけに短縮化しないならばこの化学構造は短縮化しない fact11: なにがしかのものは弛み無くないかもしくは短縮化するか両方ともである fact12: もしこの化学構造が短縮化しないけど弛み無いとするとこのフランボワーズは弛み無い fact13: 「弛み無いかあるいは短縮化するということはないか両方ともである」物はある fact14: もし仮にある物は止まれない一方で傷付き易いならばそれは息子達である fact15: もしとあるものが弛み無いということはないかもしくは短縮化しないかもしくはどちらもであるならばこの化学構造は妨害する fact16: 仮にその犯行が委託するとするとこのフランボワーズは妨害しなくてまた短縮化しない fact17: なにかは妨害するし急性疾患ならばこのフランボワーズは委託する fact18: もし仮にその犯行がフォーカスしないなら止まれなくて傷付き易い
fact6 & fact15 -> int1: 「この化学構造は妨害する」ということは確かだ; fact1 -> int2: この化学構造は急性疾患である; int1 & int2 -> int3: この化学構造は妨害するしかつ急性疾患だ; int3 -> int4: 「なんらかの物は妨害するししかも急性疾患である」ということは事実だ; int4 & fact17 -> hypothesis;
この忘恩は急性疾患だ
fact20 -> int5: 仮にその犯行が息子達ならばそれは委託するが静脈注射しない; fact24 -> int6: その犯行が止まれない一方で傷付き易いとしたら息子達である;
$facts$ = fact1: この化学構造は急性疾患だしさらに静脈注射する fact2: 仮にその犯行が妨害すればこの化学構造は短縮化しない一方で弛み無い fact3: もしこの化学構造が短縮化するということはないとしたらこの忘恩は急性疾患だ一方で弛み無くない fact4: 仮に「その犯行は有機衛星でフォーカスする」ということは誤りだとすればそれはフォーカスしない fact5: 弛み無いものは委託しない fact6: とあるものは弛み無くないかそれは短縮化しないかあるいはどちらもである fact7: ある物は急性疾患である fact8: 息子達は委託するけど静脈注射しない fact9: 弛み無くない物があるとしたらこの化学構造は妨害する fact10: もし仮にこのフランボワーズが妨害しなくておまけに短縮化しないならばこの化学構造は短縮化しない fact11: なにがしかのものは弛み無くないかもしくは短縮化するか両方ともである fact12: もしこの化学構造が短縮化しないけど弛み無いとするとこのフランボワーズは弛み無い fact13: 「弛み無いかあるいは短縮化するということはないか両方ともである」物はある fact14: もし仮にある物は止まれない一方で傷付き易いならばそれは息子達である fact15: もしとあるものが弛み無いということはないかもしくは短縮化しないかもしくはどちらもであるならばこの化学構造は妨害する fact16: 仮にその犯行が委託するとするとこのフランボワーズは妨害しなくてまた短縮化しない fact17: なにかは妨害するし急性疾患ならばこのフランボワーズは委託する fact18: もし仮にその犯行がフォーカスしないなら止まれなくて傷付き易い ; $hypothesis$ = このフランボワーズは委託しない ; $proof$ = 
fact6 & fact15 -> int1: 「この化学構造は妨害する」ということは確かだ; fact1 -> int2: この化学構造は急性疾患である; int1 & int2 -> int3: この化学構造は妨害するしかつ急性疾患だ; int3 -> int4: 「なんらかの物は妨害するししかも急性疾患である」ということは事実だ; int4 & fact17 -> hypothesis; __DISPROVED__
事実1: この化学構造は急性疾患だしさらに静脈注射する
事実2: 仮にその犯行が妨害すればこの化学構造は短縮化しない一方で弛み無い
事実3: もしこの化学構造が短縮化するということはないとしたらこの忘恩は急性疾患だ一方で弛み無くない
事実4: 仮に「その犯行は有機衛星でフォーカスする」ということは誤りだとすればそれはフォーカスしない
事実5: 弛み無いものは委託しない
事実6: とあるものは弛み無くないかそれは短縮化しないかあるいはどちらもである
事実7: ある物は急性疾患である
事実8: 息子達は委託するけど静脈注射しない
事実9: 弛み無くない物があるとしたらこの化学構造は妨害する
事実10: もし仮にこのフランボワーズが妨害しなくておまけに短縮化しないならばこの化学構造は短縮化しない
事実11: なにがしかのものは弛み無くないかもしくは短縮化するか両方ともである
事実12: もしこの化学構造が短縮化しないけど弛み無いとするとこのフランボワーズは弛み無い
事実13: 「弛み無いかあるいは短縮化するということはないか両方ともである」物はある
事実14: もし仮にある物は止まれない一方で傷付き易いならばそれは息子達である
事実15: もしとあるものが弛み無いということはないかもしくは短縮化しないかもしくはどちらもであるならばこの化学構造は妨害する
事実16: 仮にその犯行が委託するとするとこのフランボワーズは妨害しなくてまた短縮化しない
事実17: なにかは妨害するし急性疾患ならばこのフランボワーズは委託する
事実18: もし仮にその犯行がフォーカスしないなら止まれなくて傷付き易い

仮説: このフランボワーズは委託しない
1. 事実6と事実15から、推論1: "「この化学構造は妨害する」ということは確かだ"が導かれる
2. 事実1から、推論2: "この化学構造は急性疾患である"が導かれる
3. 推論1と推論2から、推論3: "この化学構造は妨害するしかつ急性疾患だ"が導かれる
4. 推論3から、推論4: "「なんらかの物は妨害するししかも急性疾患である」ということは事実だ"が導かれる
5. 推論4と事実17から、仮説が否定される

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