「「元服しなくてその上愛しいない」ということは間違っている」ものはある
fact1: 「その投薬は元服するがしかし益無しない」ということは成り立たない fact2: 「返納する」ものはある fact3: 「「収集すし今出川家であるということはない」ということは偽である」物はある fact4: もしとあるものは古臭くないとすると「あの売り上げ実績は愛しいがしかしあどけないということはない」ということは偽である fact5: 仮になにかはサドルでないならばそれは粘っこくない fact6: 「「巡回するけど使用者責任でない」ということは偽な」物はある fact7: 「「「益無しけど行われ易くない」ということは成り立たない」物はある」ということは真実である fact8: 「この意思決定能力は元服するけどそれは愛しいということはない」ということは成り立つということはない fact9: もし何かはサドルでないならば「この意思決定能力は元服しなくてしかもそれは愛しくない」ということは本当でない fact10: 「「イメージし易くないししかも突き崩せない」ということは成り立たない」ものはある fact11: 「この意思決定能力はサドルでないけどそれは新興勢力だ」ということは事実と異なる fact12: なにかは概念枠でない fact13: 「「この意思決定能力はし損なわなくてかつ元服しない」ということは成り立つ」ということは成り立たない fact14: 「この意思決定能力は実践編でなくて更に愛しくない」ということは事実と異なる fact15: 何らかの物は呼応しないし両肩でない fact16: 「有効活用する」ものはある fact17: 「「為され得るしそれに沸き立たない」ということは成り立たない」ものはある fact18: 何らかのものはサドルでない
fact18 & fact9 -> int1: 「この意思決定能力は元服するということはなくて愛しくない」ということは確かでない; int1 -> hypothesis;
「粘っこくない」ものはある
fact19 -> int2: 仮にこの意思決定能力はサドルでないならば粘っこくない;
$facts$ = fact1: 「その投薬は元服するがしかし益無しない」ということは成り立たない fact2: 「返納する」ものはある fact3: 「「収集すし今出川家であるということはない」ということは偽である」物はある fact4: もしとあるものは古臭くないとすると「あの売り上げ実績は愛しいがしかしあどけないということはない」ということは偽である fact5: 仮になにかはサドルでないならばそれは粘っこくない fact6: 「「巡回するけど使用者責任でない」ということは偽な」物はある fact7: 「「「益無しけど行われ易くない」ということは成り立たない」物はある」ということは真実である fact8: 「この意思決定能力は元服するけどそれは愛しいということはない」ということは成り立つということはない fact9: もし何かはサドルでないならば「この意思決定能力は元服しなくてしかもそれは愛しくない」ということは本当でない fact10: 「「イメージし易くないししかも突き崩せない」ということは成り立たない」ものはある fact11: 「この意思決定能力はサドルでないけどそれは新興勢力だ」ということは事実と異なる fact12: なにかは概念枠でない fact13: 「「この意思決定能力はし損なわなくてかつ元服しない」ということは成り立つ」ということは成り立たない fact14: 「この意思決定能力は実践編でなくて更に愛しくない」ということは事実と異なる fact15: 何らかの物は呼応しないし両肩でない fact16: 「有効活用する」ものはある fact17: 「「為され得るしそれに沸き立たない」ということは成り立たない」ものはある fact18: 何らかのものはサドルでない ; $hypothesis$ = 「「元服しなくてその上愛しいない」ということは間違っている」ものはある ; $proof$ = 
fact18 & fact9 -> int1: 「この意思決定能力は元服するということはなくて愛しくない」ということは確かでない; int1 -> hypothesis; __PROVED__
事実1: 「その投薬は元服するがしかし益無しない」ということは成り立たない
事実2: 「返納する」ものはある
事実3: 「「収集すし今出川家であるということはない」ということは偽である」物はある
事実4: もしとあるものは古臭くないとすると「あの売り上げ実績は愛しいがしかしあどけないということはない」ということは偽である
事実5: 仮になにかはサドルでないならばそれは粘っこくない
事実6: 「「巡回するけど使用者責任でない」ということは偽な」物はある
事実7: 「「「益無しけど行われ易くない」ということは成り立たない」物はある」ということは真実である
事実8: 「この意思決定能力は元服するけどそれは愛しいということはない」ということは成り立つということはない
事実9: もし何かはサドルでないならば「この意思決定能力は元服しなくてしかもそれは愛しくない」ということは本当でない
事実10: 「「イメージし易くないししかも突き崩せない」ということは成り立たない」ものはある
事実11: 「この意思決定能力はサドルでないけどそれは新興勢力だ」ということは事実と異なる
事実12: なにかは概念枠でない
事実13: 「「この意思決定能力はし損なわなくてかつ元服しない」ということは成り立つ」ということは成り立たない
事実14: 「この意思決定能力は実践編でなくて更に愛しくない」ということは事実と異なる
事実15: 何らかの物は呼応しないし両肩でない
事実16: 「有効活用する」ものはある
事実17: 「「為され得るしそれに沸き立たない」ということは成り立たない」ものはある
事実18: 何らかのものはサドルでない

仮説: 「「元服しなくてその上愛しいない」ということは間違っている」ものはある
1. 事実18と事実9から、推論1: "「この意思決定能力は元服するということはなくて愛しくない」ということは確かでない"が導かれる
2. 推論1から、仮説が導かれる

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