「もしも時価評価額でないとすれば「旅行するということはないし繁殖し易いということはない」ということは事実でない」ものはある
fact1: もしこの充当は時価評価額でないとすれば「旅行するし更に繁殖し易くない」ということは嘘だ fact2: もしもある物は置き易くないとすると「それは激怒するということはなくておまけに多くない」ということは成り立たない fact3: 「もしも時価評価額でないとすれば「旅行するし繁殖し易くない」ということは誤っている」物はある fact4: 「もしなにがしかのものは遅しないなら「それは覚束無くないししかも注目すらない」ということは成り立たない」ということは間違っていない fact5: もしもあの腕骨はどうして良いとすると「認知レベルでなくて有り難しない」ということは間違いだ fact6: もしこの充当は時価評価額でないなら「それは旅行しなくて更に繁殖し易いということはない」ということは成り立たない fact7: 「もし仮に時価評価額でないとすれば旅行しないしかつ繁殖し易くない」ものはある
fact6 -> hypothesis;
「遅しないとすれば「覚束無くなくて更に注目すということはない」ということは誤っている」物はある
fact8 -> int1: 仮にこのババロアは遅しないとすると「「覚束無くなくて注目すらない」ということは成り立つ」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: もしこの充当は時価評価額でないとすれば「旅行するし更に繁殖し易くない」ということは嘘だ fact2: もしもある物は置き易くないとすると「それは激怒するということはなくておまけに多くない」ということは成り立たない fact3: 「もしも時価評価額でないとすれば「旅行するし繁殖し易くない」ということは誤っている」物はある fact4: 「もしなにがしかのものは遅しないなら「それは覚束無くないししかも注目すらない」ということは成り立たない」ということは間違っていない fact5: もしもあの腕骨はどうして良いとすると「認知レベルでなくて有り難しない」ということは間違いだ fact6: もしこの充当は時価評価額でないなら「それは旅行しなくて更に繁殖し易いということはない」ということは成り立たない fact7: 「もし仮に時価評価額でないとすれば旅行しないしかつ繁殖し易くない」ものはある ; $hypothesis$ = 「もしも時価評価額でないとすれば「旅行するということはないし繁殖し易いということはない」ということは事実でない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしこの充当は時価評価額でないとすれば「旅行するし更に繁殖し易くない」ということは嘘だ
事実2: もしもある物は置き易くないとすると「それは激怒するということはなくておまけに多くない」ということは成り立たない
事実3: 「もしも時価評価額でないとすれば「旅行するし繁殖し易くない」ということは誤っている」物はある
事実4: 「もしなにがしかのものは遅しないなら「それは覚束無くないししかも注目すらない」ということは成り立たない」ということは間違っていない
事実5: もしもあの腕骨はどうして良いとすると「認知レベルでなくて有り難しない」ということは間違いだ
事実6: もしこの充当は時価評価額でないなら「それは旅行しなくて更に繁殖し易いということはない」ということは成り立たない
事実7: 「もし仮に時価評価額でないとすれば旅行しないしかつ繁殖し易くない」ものはある

仮説: 「もしも時価評価額でないとすれば「旅行するということはないし繁殖し易いということはない」ということは事実でない」ものはある
1. 事実6から、仮説が導かれる

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