このＤＷＧは授受するか赤潮である
fact1: 仮に「「立て易くない」ということは成り立つ」物があるならばあのＤＷＧは愛用するということはない fact2: このＤＷＧは測り得るかまたは学童達であるかまたは両方ともである fact3: もし仮にその副作用歴が授受するということはないとしたら寝れる fact4: もし仮に「とあるものは愛用するということはない」ということは事実であるなら授受する fact5: 「立て易くない」ものはある fact6: 仮になんらかの物が立て易くないとすると香しい
fact4 -> int1: もし仮にこのＤＷＧが愛用しないならばそれは授受する; fact5 & fact1 -> int2: このＤＷＧは愛用しない; int1 & int2 -> int3: このＤＷＧは授受する; int3 -> hypothesis;
もし仮に「この糧は立て易くない」ということは正しいならばそれは香しい
fact7 -> hypothesis;
$facts$ = fact1: 仮に「「立て易くない」ということは成り立つ」物があるならばあのＤＷＧは愛用するということはない fact2: このＤＷＧは測り得るかまたは学童達であるかまたは両方ともである fact3: もし仮にその副作用歴が授受するということはないとしたら寝れる fact4: もし仮に「とあるものは愛用するということはない」ということは事実であるなら授受する fact5: 「立て易くない」ものはある fact6: 仮になんらかの物が立て易くないとすると香しい ; $hypothesis$ = このＤＷＧは授受するか赤潮である ; $proof$ = 
fact4 -> int1: もし仮にこのＤＷＧが愛用しないならばそれは授受する; fact5 & fact1 -> int2: このＤＷＧは愛用しない; int1 & int2 -> int3: このＤＷＧは授受する; int3 -> hypothesis; __PROVED__
事実1: 仮に「「立て易くない」ということは成り立つ」物があるならばあのＤＷＧは愛用するということはない
事実2: このＤＷＧは測り得るかまたは学童達であるかまたは両方ともである
事実3: もし仮にその副作用歴が授受するということはないとしたら寝れる
事実4: もし仮に「とあるものは愛用するということはない」ということは事実であるなら授受する
事実5: 「立て易くない」ものはある
事実6: 仮になんらかの物が立て易くないとすると香しい

仮説: このＤＷＧは授受するか赤潮である
1. 事実4から、推論1: "もし仮にこのＤＷＧが愛用しないならばそれは授受する"が導かれる
2. 事実5と事実1から、推論2: "このＤＷＧは愛用しない"が導かれる
3. 推論1と推論2から、推論3: "このＤＷＧは授受する"が導かれる
4. 推論3から、仮説が導かれる

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