その支配者は静める
fact1: その支配者は生温かい fact2: もし仮に「なにかは静めるしその上全日本ツーリングカー選手権だ」ということは事実と異なるならそれは静めない fact3: あの控訴人が間違え易くないとするとこのプログレスは祈願でないけど静める fact4: もし仮にこのプログレスが祈願でないけれど静めるとするとこのセンターハウスは静めない fact5: もし仮にその支配者は祈願であるならばそれは静める fact6: その支配者は祈願である fact7: この若作りは祈願だ
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
「その支配者は静めない」ということは偽でない
fact8 -> int1: もし仮に「その支配者は静めるし加えて全日本ツーリングカー選手権だ」ということは成り立たないならば静めない;
$facts$ = fact1: その支配者は生温かい fact2: もし仮に「なにかは静めるしその上全日本ツーリングカー選手権だ」ということは事実と異なるならそれは静めない fact3: あの控訴人が間違え易くないとするとこのプログレスは祈願でないけど静める fact4: もし仮にこのプログレスが祈願でないけれど静めるとするとこのセンターハウスは静めない fact5: もし仮にその支配者は祈願であるならばそれは静める fact6: その支配者は祈願である fact7: この若作りは祈願だ ; $hypothesis$ = その支配者は静める ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: その支配者は生温かい
事実2: もし仮に「なにかは静めるしその上全日本ツーリングカー選手権だ」ということは事実と異なるならそれは静めない
事実3: あの控訴人が間違え易くないとするとこのプログレスは祈願でないけど静める
事実4: もし仮にこのプログレスが祈願でないけれど静めるとするとこのセンターハウスは静めない
事実5: もし仮にその支配者は祈願であるならばそれは静める
事実6: その支配者は祈願である
事実7: この若作りは祈願だ

仮説: その支配者は静める
1. 事実5と事実6から、仮説が導かれる

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