「その執行状況は果たし続けるがしかしそれは長呼しない」ということは本当でない
fact1: もし仮にこの飛行教育集団は本件資産であるとしたら「その執行状況は果たし続けるがしかし長呼しない」ということは成り立たない fact2: もしあるものが極まり悪いということはないなら果たし続ける一方で長呼しない fact3: もしも「極まり悪いけれどぎざぎざしない」ものがあればそのゲノム上は課す fact4: その学習評価が混ぜっ返さないとすれば塗りたくらない fact5: もし仮に「そのゲノム上は課すしぎざぎざする」ということは事実と異なるとするとその執行状況は極まり悪くない fact6: もし仮にその学習評価は塗りたくらないなら「それはランプでなくてその上それは本件資産である」ということは間違いだ fact7: 何かは極まり悪い一方でぎざぎざしない fact8: もしも「そのゲノム上は課す」ということは本当ならば「この飛行教育集団は本件資産だ」ということは成り立つ
fact7 & fact3 -> int1: そのゲノム上は課す; int1 & fact8 -> int2: この飛行教育集団は本件資産である; int2 & fact1 -> hypothesis;
その執行状況は果たし続けるがそれは長呼しない
fact10 -> int3: もしその執行状況が極まり悪いということはないとしたらそれは果たし続けるけれど長呼するということはない;
$facts$ = fact1: もし仮にこの飛行教育集団は本件資産であるとしたら「その執行状況は果たし続けるがしかし長呼しない」ということは成り立たない fact2: もしあるものが極まり悪いということはないなら果たし続ける一方で長呼しない fact3: もしも「極まり悪いけれどぎざぎざしない」ものがあればそのゲノム上は課す fact4: その学習評価が混ぜっ返さないとすれば塗りたくらない fact5: もし仮に「そのゲノム上は課すしぎざぎざする」ということは事実と異なるとするとその執行状況は極まり悪くない fact6: もし仮にその学習評価は塗りたくらないなら「それはランプでなくてその上それは本件資産である」ということは間違いだ fact7: 何かは極まり悪い一方でぎざぎざしない fact8: もしも「そのゲノム上は課す」ということは本当ならば「この飛行教育集団は本件資産だ」ということは成り立つ ; $hypothesis$ = 「その執行状況は果たし続けるがしかしそれは長呼しない」ということは本当でない ; $proof$ = 
fact7 & fact3 -> int1: そのゲノム上は課す; int1 & fact8 -> int2: この飛行教育集団は本件資産である; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの飛行教育集団は本件資産であるとしたら「その執行状況は果たし続けるがしかし長呼しない」ということは成り立たない
事実2: もしあるものが極まり悪いということはないなら果たし続ける一方で長呼しない
事実3: もしも「極まり悪いけれどぎざぎざしない」ものがあればそのゲノム上は課す
事実4: その学習評価が混ぜっ返さないとすれば塗りたくらない
事実5: もし仮に「そのゲノム上は課すしぎざぎざする」ということは事実と異なるとするとその執行状況は極まり悪くない
事実6: もし仮にその学習評価は塗りたくらないなら「それはランプでなくてその上それは本件資産である」ということは間違いだ
事実7: 何かは極まり悪い一方でぎざぎざしない
事実8: もしも「そのゲノム上は課す」ということは本当ならば「この飛行教育集団は本件資産だ」ということは成り立つ

仮説: 「その執行状況は果たし続けるがしかしそれは長呼しない」ということは本当でない
1. 事実7と事実3から、推論1: "そのゲノム上は課す"が導かれる
2. 推論1と事実8から、推論2: "この飛行教育集団は本件資産である"が導かれる
3. 推論2と事実1から、仮説が導かれる

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