このイラン国王は肥満するけど出易くない
fact1: もしそのスイートオレンジは所らしいとすれば「このイラン国王は肥満するけれど出易くない」ということは誤っている fact2: もしも「そのチーム全員は日本らしくないかもしくは刺々しいかあるいは両方である」ということは嘘であるとするとそれは利き難くない fact3: このイラン国王は肥満するけど出易くない fact4: 何もかもは利き難いということはない fact5: このイラン国王は肥満するけれど苛々し易くない
fact3 -> hypothesis;
fact3 -> hypothesis;
あの八重咲きは放ち始めるがしかしそれは肥満しない
fact6 -> int1: そのスイートオレンジは利き難くない;
$facts$ = fact1: もしそのスイートオレンジは所らしいとすれば「このイラン国王は肥満するけれど出易くない」ということは誤っている fact2: もしも「そのチーム全員は日本らしくないかもしくは刺々しいかあるいは両方である」ということは嘘であるとするとそれは利き難くない fact3: このイラン国王は肥満するけど出易くない fact4: 何もかもは利き難いということはない fact5: このイラン国王は肥満するけれど苛々し易くない ; $hypothesis$ = このイラン国王は肥満するけど出易くない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしそのスイートオレンジは所らしいとすれば「このイラン国王は肥満するけれど出易くない」ということは誤っている
事実2: もしも「そのチーム全員は日本らしくないかもしくは刺々しいかあるいは両方である」ということは嘘であるとするとそれは利き難くない
事実3: このイラン国王は肥満するけど出易くない
事実4: 何もかもは利き難いということはない
事実5: このイラン国王は肥満するけれど苛々し易くない

仮説: このイラン国王は肥満するけど出易くない
1. 事実3から、仮説が導かれる

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