その使い捨てカイロは少な過ぎる
fact1: この過活動型譫妄は駆け付けるということはないとすると「その使い捨てカイロは少な過ぎる」ということは成り立たない fact2: 仮にこの過活動型譫妄はアドソン型鑷子だがしかし青しないならば目す fact3: もしこの過活動型譫妄が目すならその製造装置は燃え始めないがしかし駆け付ける fact4: この家族状況は続行出来る fact5: もし「「燃え始めない一方で駆け付ける」ということは真実な」ものがあるとすればあの使い捨てカイロは少な過ぎる fact6: もし仮にこの過活動型譫妄はアドソン型鑷子でないしまた青しないならば目す fact7: もしこの過活動型譫妄が目すとすればその製造装置は燃え始めない fact8: その製造装置は燃え始めない fact9: もし仮にその製造装置はヒヤリングしなくてそれに根本主義者でないとすれば「それは寝苦しいということはない」ということは確かだ fact10: その十五年後は一緒くただ fact11: 「燃え始めるということはない」ものはある fact12: もし仮に何かは往生すればそれは細か過ぎる fact13: もしも「この家族状況は続行出来る」ということは本当であるとしたらその製造装置は往生する fact14: もしもその製造装置が細か過ぎるけれど寝苦しくないとしたら「駆け付けない」ということは確かだ fact15: 仮にこの過活動型譫妄がアドソン型鑷子でない一方で青しならばそれは目す fact16: この過活動型譫妄はアドソン型鑷子でなくておまけに青しということはない fact17: 仮に「燃え始めるし駆け付ける」物があればその使い捨てカイロは少な過ぎる fact18: その製造装置が駆け付けないけど目すならばあの過活動型譫妄は駆け付けるということはない
fact6 & fact16 -> int1: この過活動型譫妄は目す; int1 & fact3 -> int2: その製造装置は燃え始めない一方でそれは駆け付ける; int2 -> int3: 「燃え始めないけれど駆け付ける」物はある; int3 & fact5 -> hypothesis;
「その使い捨てカイロは少な過ぎない」ということは本当である
fact20 -> int4: もしもその製造装置が往生するなら細か過ぎる; fact21 & fact22 -> int5: その製造装置は往生する; int4 & int5 -> int6: その製造装置は細か過ぎる;
$facts$ = fact1: この過活動型譫妄は駆け付けるということはないとすると「その使い捨てカイロは少な過ぎる」ということは成り立たない fact2: 仮にこの過活動型譫妄はアドソン型鑷子だがしかし青しないならば目す fact3: もしこの過活動型譫妄が目すならその製造装置は燃え始めないがしかし駆け付ける fact4: この家族状況は続行出来る fact5: もし「「燃え始めない一方で駆け付ける」ということは真実な」ものがあるとすればあの使い捨てカイロは少な過ぎる fact6: もし仮にこの過活動型譫妄はアドソン型鑷子でないしまた青しないならば目す fact7: もしこの過活動型譫妄が目すとすればその製造装置は燃え始めない fact8: その製造装置は燃え始めない fact9: もし仮にその製造装置はヒヤリングしなくてそれに根本主義者でないとすれば「それは寝苦しいということはない」ということは確かだ fact10: その十五年後は一緒くただ fact11: 「燃え始めるということはない」ものはある fact12: もし仮に何かは往生すればそれは細か過ぎる fact13: もしも「この家族状況は続行出来る」ということは本当であるとしたらその製造装置は往生する fact14: もしもその製造装置が細か過ぎるけれど寝苦しくないとしたら「駆け付けない」ということは確かだ fact15: 仮にこの過活動型譫妄がアドソン型鑷子でない一方で青しならばそれは目す fact16: この過活動型譫妄はアドソン型鑷子でなくておまけに青しということはない fact17: 仮に「燃え始めるし駆け付ける」物があればその使い捨てカイロは少な過ぎる fact18: その製造装置が駆け付けないけど目すならばあの過活動型譫妄は駆け付けるということはない ; $hypothesis$ = その使い捨てカイロは少な過ぎる ; $proof$ = 
fact6 & fact16 -> int1: この過活動型譫妄は目す; int1 & fact3 -> int2: その製造装置は燃え始めない一方でそれは駆け付ける; int2 -> int3: 「燃え始めないけれど駆け付ける」物はある; int3 & fact5 -> hypothesis; __PROVED__
事実1: この過活動型譫妄は駆け付けるということはないとすると「その使い捨てカイロは少な過ぎる」ということは成り立たない
事実2: 仮にこの過活動型譫妄はアドソン型鑷子だがしかし青しないならば目す
事実3: もしこの過活動型譫妄が目すならその製造装置は燃え始めないがしかし駆け付ける
事実4: この家族状況は続行出来る
事実5: もし「「燃え始めない一方で駆け付ける」ということは真実な」ものがあるとすればあの使い捨てカイロは少な過ぎる
事実6: もし仮にこの過活動型譫妄はアドソン型鑷子でないしまた青しないならば目す
事実7: もしこの過活動型譫妄が目すとすればその製造装置は燃え始めない
事実8: その製造装置は燃え始めない
事実9: もし仮にその製造装置はヒヤリングしなくてそれに根本主義者でないとすれば「それは寝苦しいということはない」ということは確かだ
事実10: その十五年後は一緒くただ
事実11: 「燃え始めるということはない」ものはある
事実12: もし仮に何かは往生すればそれは細か過ぎる
事実13: もしも「この家族状況は続行出来る」ということは本当であるとしたらその製造装置は往生する
事実14: もしもその製造装置が細か過ぎるけれど寝苦しくないとしたら「駆け付けない」ということは確かだ
事実15: 仮にこの過活動型譫妄がアドソン型鑷子でない一方で青しならばそれは目す
事実16: この過活動型譫妄はアドソン型鑷子でなくておまけに青しということはない
事実17: 仮に「燃え始めるし駆け付ける」物があればその使い捨てカイロは少な過ぎる
事実18: その製造装置が駆け付けないけど目すならばあの過活動型譫妄は駆け付けるということはない

仮説: その使い捨てカイロは少な過ぎる
1. 事実6と事実16から、推論1: "この過活動型譫妄は目す"が導かれる
2. 推論1と事実3から、推論2: "その製造装置は燃え始めない一方でそれは駆け付ける"が導かれる
3. 推論2から、推論3: "「燃え始めないけれど駆け付ける」物はある"が導かれる
4. 推論3と事実5から、仮説が導かれる

よって、仮説が証明されました。