そのバールは青っぽい
fact1: この経過後はセクション毎である fact2: もし仮に「何かは支店形態であるしまた青っぽい」ということは事実と異なるとすると青っぽくない fact3: この経過後は疲労し易いとしたら「そのバールは併存的債務引き受けだ」ということは成り立つ fact4: もしこの経過後が併存的債務引き受けであるとしたらそのバールは剥がれる fact5: もしもそのバールが青っぽいならばあの経過後は点在する fact6: 仮にこの脱燐酸化は青っぽいとすれば「あの白Ａは併存的債務引き受けである」ということは本当である fact7: 「そのバールは併存的債務引き受けである」ということは確かだ fact8: もし仮にこの経過後が併存的債務引き受けであるとするとそのバールは青っぽい fact9: そのバールが水臭くないかあるいはそれはモダリティ形式であるかあるいは両方ともであるならばそれは併存的債務引き受けであるということはない fact10: その前々年は青っぽい fact11: この経過後は診察台である fact12: このカッテージチーズは青っぽい fact13: その園内は併存的債務引き受けである fact14: そのバールが併存的債務引き受けならこの経過後は青っぽい fact15: そのトロンコーニは併存的債務引き受けである fact16: この経過後は青っぽい fact17: 仮に「この経過後は青っぽい」ということは事実だとするとそのバールは併存的債務引き受けだ fact18: この経過後は併存的債務引き受けである fact19: その集団単位は青っぽい
fact8 & fact18 -> hypothesis;
fact8 & fact18 -> hypothesis;
そのバールは青っぽくない
fact21 -> int1: 「そのバールは支店形態であるしさらに青っぽい」ということは本当でないとするとそれは青っぽくない;
$facts$ = fact1: この経過後はセクション毎である fact2: もし仮に「何かは支店形態であるしまた青っぽい」ということは事実と異なるとすると青っぽくない fact3: この経過後は疲労し易いとしたら「そのバールは併存的債務引き受けだ」ということは成り立つ fact4: もしこの経過後が併存的債務引き受けであるとしたらそのバールは剥がれる fact5: もしもそのバールが青っぽいならばあの経過後は点在する fact6: 仮にこの脱燐酸化は青っぽいとすれば「あの白Ａは併存的債務引き受けである」ということは本当である fact7: 「そのバールは併存的債務引き受けである」ということは確かだ fact8: もし仮にこの経過後が併存的債務引き受けであるとするとそのバールは青っぽい fact9: そのバールが水臭くないかあるいはそれはモダリティ形式であるかあるいは両方ともであるならばそれは併存的債務引き受けであるということはない fact10: その前々年は青っぽい fact11: この経過後は診察台である fact12: このカッテージチーズは青っぽい fact13: その園内は併存的債務引き受けである fact14: そのバールが併存的債務引き受けならこの経過後は青っぽい fact15: そのトロンコーニは併存的債務引き受けである fact16: この経過後は青っぽい fact17: 仮に「この経過後は青っぽい」ということは事実だとするとそのバールは併存的債務引き受けだ fact18: この経過後は併存的債務引き受けである fact19: その集団単位は青っぽい ; $hypothesis$ = そのバールは青っぽい ; $proof$ = 
fact8 & fact18 -> hypothesis; __PROVED__
事実1: この経過後はセクション毎である
事実2: もし仮に「何かは支店形態であるしまた青っぽい」ということは事実と異なるとすると青っぽくない
事実3: この経過後は疲労し易いとしたら「そのバールは併存的債務引き受けだ」ということは成り立つ
事実4: もしこの経過後が併存的債務引き受けであるとしたらそのバールは剥がれる
事実5: もしもそのバールが青っぽいならばあの経過後は点在する
事実6: 仮にこの脱燐酸化は青っぽいとすれば「あの白Ａは併存的債務引き受けである」ということは本当である
事実7: 「そのバールは併存的債務引き受けである」ということは確かだ
事実8: もし仮にこの経過後が併存的債務引き受けであるとするとそのバールは青っぽい
事実9: そのバールが水臭くないかあるいはそれはモダリティ形式であるかあるいは両方ともであるならばそれは併存的債務引き受けであるということはない
事実10: その前々年は青っぽい
事実11: この経過後は診察台である
事実12: このカッテージチーズは青っぽい
事実13: その園内は併存的債務引き受けである
事実14: そのバールが併存的債務引き受けならこの経過後は青っぽい
事実15: そのトロンコーニは併存的債務引き受けである
事実16: この経過後は青っぽい
事実17: 仮に「この経過後は青っぽい」ということは事実だとするとそのバールは併存的債務引き受けだ
事実18: この経過後は併存的債務引き受けである
事実19: その集団単位は青っぽい

仮説: そのバールは青っぽい
1. 事実8と事実18から、仮説が導かれる

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