「このオープンタイプフォントは物憂いかあるいは手乞い坂である」ということは真実だ
fact1: あの設定ボタンは姦しい fact2: この罰無しは手乞い坂である fact3: あの設定ボタンは手乞い坂だ fact4: 「あの設定ボタンは弁護士費用であるけれど素晴らしくない」ということは誤っていれば「それは素晴らしい」ということは真実である fact5: この罰無しは年輩であるかもしくは姦しいかまたはどちらもである fact6: このオープンタイプフォントが年輩であるとすればあの設定ボタンは物憂い fact7: あの設定ボタンは手乞い坂であるかまたは年輩であるか両方だ fact8: この罰無しは年輩だ fact9: あの設定ボタンは営業免許であるか姦しい fact10: この罰無しは取り紛れる fact11: あの設定ボタンは年輩であるかまたは姦しいか両方である fact12: もしもこのオープンタイプフォントが姦しくないとするとこの罰無しは手乞い坂だ fact13: もしこの罰無しが姦しくないとすればあの設定ボタンは年輩である fact14: この罰無しは姦しいということはない fact15: 「あの設定ボタンは弁護士費用である一方でそれは素晴らしくない」ということは間違いだ fact16: 仮に「この罰無しは物憂くない」ということは間違いでないならばこのオープンタイプフォントは姦しい fact17: もしもあの設定ボタンが年輩ならばこのオープンタイプフォントは手乞い坂である fact18: このオープンタイプフォントは手早い fact19: もしも「この罰無しは芳しいかそれは姦しいかもしくは両方ともだ」ということは間違っていればこのオープンタイプフォントは姦しくない fact20: もしも「この罰無しは年輩だ」ということは真実ならばあの設定ボタンは姦しい fact21: このオープンタイプフォントは取り次ぐ fact22: 素晴らしいししかも甘いものは年輩でない fact23: もしこの罰無しが年輩であるということはないとすればあの設定ボタンは姦しい
fact13 & fact14 -> int1: 「あの設定ボタンは年輩だ」ということは事実だ; int1 & fact17 -> int2: このオープンタイプフォントは手乞い坂である; int2 -> hypothesis;
fact13 & fact14 -> int1: {B}{b}; int1 & fact17 -> int2: {C}{c}; int2 -> hypothesis;
「このオープンタイプフォントは物憂いかもしくは手乞い坂だ」ということは成り立たない
fact24 -> int3: もしあの設定ボタンは素晴らしいしそれに甘いとしたら「それは年輩でない」ということは成り立つ; fact25 & fact27 -> int4: あの設定ボタンは素晴らしい;
$facts$ = fact1: あの設定ボタンは姦しい fact2: この罰無しは手乞い坂である fact3: あの設定ボタンは手乞い坂だ fact4: 「あの設定ボタンは弁護士費用であるけれど素晴らしくない」ということは誤っていれば「それは素晴らしい」ということは真実である fact5: この罰無しは年輩であるかもしくは姦しいかまたはどちらもである fact6: このオープンタイプフォントが年輩であるとすればあの設定ボタンは物憂い fact7: あの設定ボタンは手乞い坂であるかまたは年輩であるか両方だ fact8: この罰無しは年輩だ fact9: あの設定ボタンは営業免許であるか姦しい fact10: この罰無しは取り紛れる fact11: あの設定ボタンは年輩であるかまたは姦しいか両方である fact12: もしもこのオープンタイプフォントが姦しくないとするとこの罰無しは手乞い坂だ fact13: もしこの罰無しが姦しくないとすればあの設定ボタンは年輩である fact14: この罰無しは姦しいということはない fact15: 「あの設定ボタンは弁護士費用である一方でそれは素晴らしくない」ということは間違いだ fact16: 仮に「この罰無しは物憂くない」ということは間違いでないならばこのオープンタイプフォントは姦しい fact17: もしもあの設定ボタンが年輩ならばこのオープンタイプフォントは手乞い坂である fact18: このオープンタイプフォントは手早い fact19: もしも「この罰無しは芳しいかそれは姦しいかもしくは両方ともだ」ということは間違っていればこのオープンタイプフォントは姦しくない fact20: もしも「この罰無しは年輩だ」ということは真実ならばあの設定ボタンは姦しい fact21: このオープンタイプフォントは取り次ぐ fact22: 素晴らしいししかも甘いものは年輩でない fact23: もしこの罰無しが年輩であるということはないとすればあの設定ボタンは姦しい ; $hypothesis$ = 「このオープンタイプフォントは物憂いかあるいは手乞い坂である」ということは真実だ ; $proof$ = 
fact13 & fact14 -> int1: 「あの設定ボタンは年輩だ」ということは事実だ; int1 & fact17 -> int2: このオープンタイプフォントは手乞い坂である; int2 -> hypothesis; __PROVED__
事実1: あの設定ボタンは姦しい
事実2: この罰無しは手乞い坂である
事実3: あの設定ボタンは手乞い坂だ
事実4: 「あの設定ボタンは弁護士費用であるけれど素晴らしくない」ということは誤っていれば「それは素晴らしい」ということは真実である
事実5: この罰無しは年輩であるかもしくは姦しいかまたはどちらもである
事実6: このオープンタイプフォントが年輩であるとすればあの設定ボタンは物憂い
事実7: あの設定ボタンは手乞い坂であるかまたは年輩であるか両方だ
事実8: この罰無しは年輩だ
事実9: あの設定ボタンは営業免許であるか姦しい
事実10: この罰無しは取り紛れる
事実11: あの設定ボタンは年輩であるかまたは姦しいか両方である
事実12: もしもこのオープンタイプフォントが姦しくないとするとこの罰無しは手乞い坂だ
事実13: もしこの罰無しが姦しくないとすればあの設定ボタンは年輩である
事実14: この罰無しは姦しいということはない
事実15: 「あの設定ボタンは弁護士費用である一方でそれは素晴らしくない」ということは間違いだ
事実16: 仮に「この罰無しは物憂くない」ということは間違いでないならばこのオープンタイプフォントは姦しい
事実17: もしもあの設定ボタンが年輩ならばこのオープンタイプフォントは手乞い坂である
事実18: このオープンタイプフォントは手早い
事実19: もしも「この罰無しは芳しいかそれは姦しいかもしくは両方ともだ」ということは間違っていればこのオープンタイプフォントは姦しくない
事実20: もしも「この罰無しは年輩だ」ということは真実ならばあの設定ボタンは姦しい
事実21: このオープンタイプフォントは取り次ぐ
事実22: 素晴らしいししかも甘いものは年輩でない
事実23: もしこの罰無しが年輩であるということはないとすればあの設定ボタンは姦しい

仮説: 「このオープンタイプフォントは物憂いかあるいは手乞い坂である」ということは真実だ
1. 事実13と事実14から、推論1: "「あの設定ボタンは年輩だ」ということは事実だ"が導かれる
2. 推論1と事実17から、推論2: "このオープンタイプフォントは手乞い坂である"が導かれる
3. 推論2から、仮説が導かれる

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