あの正否はテーマ曲であるかあるいは水道水でない
fact1: なにがしかの物が縛り上げるとしたら期待し難くないしその上丸っこい fact2: もしも「とある物は粗いがしかしそれは進学でない」ということは偽ならばそれは数理でない fact3: もし仮に何らかのものは期待し難くないならば「それは粗いししかも進学でない」ということは成り立たない fact4: あの正否は重いかあるいは水道水でないかまたは両方ともである fact5: もしなんらかのものが進学でないしそれは期待し難くないとするとそれは粗くない fact6: もしもあのソーラーツインは粗くないとしたら「あの正否はテーマ曲であるかまたはそれは水道水でないかあるいはどちらもである」ということは事実と異なる fact7: あの正否はテーマ曲であるかまたは水道水であるかもしくは両方だ fact8: あの君側は水道水であるかあるいはそれは在位前でないかあるいは両方だ fact9: その川獺さんは兼ね合いであるかまたは覆い隠さない fact10: もし仮にその立ち眩みがするするならばあのソーラーツインは進学でないかもしくは縛り上げるかどちらもだ fact11: もし仮にあの正否がするするとすればあの権利行使は縛り上げる fact12: もし仮に「「そつ無いけど使用済み核燃料であるということはない」ということは成り立たない」物があるならあの正否はするする fact13: その立ち眩みはするする fact14: あの正否は在位前であるかあるいはテーマ曲でない fact15: あの正否は素晴らしいかテーマ曲でないか両方だ fact16: 「あの正否はテーマ曲であるかもしくはそれは水道水でない」ということは成り立つ fact17: あの正否は羨ましいかまたはそれは働き易くないかまたは両方ともだ fact18: 「あのソーラーツインはそつ無い一方でそれは使用済み核燃料でない」ということは成り立たない fact19: なにかは進学でないかあるいは縛り上げるかあるいは両方ともならばそれは進学でない fact20: この往生要集はテーマ曲であるかもしくはそれは混濁しない
fact16 -> hypothesis;
fact16 -> hypothesis;
「「あの正否はテーマ曲であるかあるいは水道水だということはないか両方だ」ということは真実だ」ということは成り立たない
fact22 -> int1: もしあのソーラーツインが進学だということはないし期待し難くないならば粗くない; fact23 -> int2: もし仮にあのソーラーツインが進学だということはないかあるいはそれは縛り上げるかもしくはどちらもなら進学でない; fact21 & fact25 -> int3: あのソーラーツインは進学でないかそれは縛り上げる; int2 & int3 -> int4: あのソーラーツインは進学でない;
$facts$ = fact1: なにがしかの物が縛り上げるとしたら期待し難くないしその上丸っこい fact2: もしも「とある物は粗いがしかしそれは進学でない」ということは偽ならばそれは数理でない fact3: もし仮に何らかのものは期待し難くないならば「それは粗いししかも進学でない」ということは成り立たない fact4: あの正否は重いかあるいは水道水でないかまたは両方ともである fact5: もしなんらかのものが進学でないしそれは期待し難くないとするとそれは粗くない fact6: もしもあのソーラーツインは粗くないとしたら「あの正否はテーマ曲であるかまたはそれは水道水でないかあるいはどちらもである」ということは事実と異なる fact7: あの正否はテーマ曲であるかまたは水道水であるかもしくは両方だ fact8: あの君側は水道水であるかあるいはそれは在位前でないかあるいは両方だ fact9: その川獺さんは兼ね合いであるかまたは覆い隠さない fact10: もし仮にその立ち眩みがするするならばあのソーラーツインは進学でないかもしくは縛り上げるかどちらもだ fact11: もし仮にあの正否がするするとすればあの権利行使は縛り上げる fact12: もし仮に「「そつ無いけど使用済み核燃料であるということはない」ということは成り立たない」物があるならあの正否はするする fact13: その立ち眩みはするする fact14: あの正否は在位前であるかあるいはテーマ曲でない fact15: あの正否は素晴らしいかテーマ曲でないか両方だ fact16: 「あの正否はテーマ曲であるかもしくはそれは水道水でない」ということは成り立つ fact17: あの正否は羨ましいかまたはそれは働き易くないかまたは両方ともだ fact18: 「あのソーラーツインはそつ無い一方でそれは使用済み核燃料でない」ということは成り立たない fact19: なにかは進学でないかあるいは縛り上げるかあるいは両方ともならばそれは進学でない fact20: この往生要集はテーマ曲であるかもしくはそれは混濁しない ; $hypothesis$ = あの正否はテーマ曲であるかあるいは水道水でない ; $proof$ = 
fact16 -> hypothesis; __PROVED__
事実1: なにがしかの物が縛り上げるとしたら期待し難くないしその上丸っこい
事実2: もしも「とある物は粗いがしかしそれは進学でない」ということは偽ならばそれは数理でない
事実3: もし仮に何らかのものは期待し難くないならば「それは粗いししかも進学でない」ということは成り立たない
事実4: あの正否は重いかあるいは水道水でないかまたは両方ともである
事実5: もしなんらかのものが進学でないしそれは期待し難くないとするとそれは粗くない
事実6: もしもあのソーラーツインは粗くないとしたら「あの正否はテーマ曲であるかまたはそれは水道水でないかあるいはどちらもである」ということは事実と異なる
事実7: あの正否はテーマ曲であるかまたは水道水であるかもしくは両方だ
事実8: あの君側は水道水であるかあるいはそれは在位前でないかあるいは両方だ
事実9: その川獺さんは兼ね合いであるかまたは覆い隠さない
事実10: もし仮にその立ち眩みがするするならばあのソーラーツインは進学でないかもしくは縛り上げるかどちらもだ
事実11: もし仮にあの正否がするするとすればあの権利行使は縛り上げる
事実12: もし仮に「「そつ無いけど使用済み核燃料であるということはない」ということは成り立たない」物があるならあの正否はするする
事実13: その立ち眩みはするする
事実14: あの正否は在位前であるかあるいはテーマ曲でない
事実15: あの正否は素晴らしいかテーマ曲でないか両方だ
事実16: 「あの正否はテーマ曲であるかもしくはそれは水道水でない」ということは成り立つ
事実17: あの正否は羨ましいかまたはそれは働き易くないかまたは両方ともだ
事実18: 「あのソーラーツインはそつ無い一方でそれは使用済み核燃料でない」ということは成り立たない
事実19: なにかは進学でないかあるいは縛り上げるかあるいは両方ともならばそれは進学でない
事実20: この往生要集はテーマ曲であるかもしくはそれは混濁しない

仮説: あの正否はテーマ曲であるかあるいは水道水でない
1. 事実16から、仮説が導かれる

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