この御覧は完成であるかあるいはそれは喋り過ぎる
fact1: この御覧は完成であるかそれは開城する fact2: 臭いマスタードガスはある fact3: 仮にこの御覧が面倒臭くないならばこのマイちゃんは面倒臭い fact4: 何らかのものがキャラメリゼでないならそれはＧＺＩＰであるかまたはそれは化けるか両方ともだ fact5: 「仮にその研三計画が壊れ易くないとすればあの御覧は面倒臭いということはないしそれに喋り過ぎない」ということは真実だ fact6: この御覧はＧＩＭＰだ fact7: 仮にマスタードガスが臭いとすればあの研三計画はキャラメリゼでない fact8: もし「その研三計画は化けないがそれはＧＺＩＰである」ということは間違いであるならばそれは壊れ易くない fact9: この晩は人達であるかもしくは完成であるかまたはどちらもである fact10: この御覧は喋り過ぎる fact11: 「この御覧は目新しいかもしくは完成であるかどちらもだ」ということは真実である fact12: この御覧は筋力アップだ fact13: この御覧は完成であるかまたは直煮製塩である
fact10 -> hypothesis;
fact10 -> hypothesis;
このマイちゃんは完成であるか面倒臭いかもしくはどちらもである
fact16 -> int1: 仮にその研三計画がキャラメリゼであるということはないとするとそれはＧＺＩＰであるかあるいは化けるかあるいはどちらもだ; fact18 & fact14 -> int2: その研三計画はキャラメリゼだということはない; int1 & int2 -> int3: その研三計画はＧＺＩＰであるかもしくは化けるかもしくはどちらもだ;
$facts$ = fact1: この御覧は完成であるかそれは開城する fact2: 臭いマスタードガスはある fact3: 仮にこの御覧が面倒臭くないならばこのマイちゃんは面倒臭い fact4: 何らかのものがキャラメリゼでないならそれはＧＺＩＰであるかまたはそれは化けるか両方ともだ fact5: 「仮にその研三計画が壊れ易くないとすればあの御覧は面倒臭いということはないしそれに喋り過ぎない」ということは真実だ fact6: この御覧はＧＩＭＰだ fact7: 仮にマスタードガスが臭いとすればあの研三計画はキャラメリゼでない fact8: もし「その研三計画は化けないがそれはＧＺＩＰである」ということは間違いであるならばそれは壊れ易くない fact9: この晩は人達であるかもしくは完成であるかまたはどちらもである fact10: この御覧は喋り過ぎる fact11: 「この御覧は目新しいかもしくは完成であるかどちらもだ」ということは真実である fact12: この御覧は筋力アップだ fact13: この御覧は完成であるかまたは直煮製塩である ; $hypothesis$ = この御覧は完成であるかあるいはそれは喋り過ぎる ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: この御覧は完成であるかそれは開城する
事実2: 臭いマスタードガスはある
事実3: 仮にこの御覧が面倒臭くないならばこのマイちゃんは面倒臭い
事実4: 何らかのものがキャラメリゼでないならそれはＧＺＩＰであるかまたはそれは化けるか両方ともだ
事実5: 「仮にその研三計画が壊れ易くないとすればあの御覧は面倒臭いということはないしそれに喋り過ぎない」ということは真実だ
事実6: この御覧はＧＩＭＰだ
事実7: 仮にマスタードガスが臭いとすればあの研三計画はキャラメリゼでない
事実8: もし「その研三計画は化けないがそれはＧＺＩＰである」ということは間違いであるならばそれは壊れ易くない
事実9: この晩は人達であるかもしくは完成であるかまたはどちらもである
事実10: この御覧は喋り過ぎる
事実11: 「この御覧は目新しいかもしくは完成であるかどちらもだ」ということは真実である
事実12: この御覧は筋力アップだ
事実13: この御覧は完成であるかまたは直煮製塩である

仮説: この御覧は完成であるかあるいはそれは喋り過ぎる
1. 事実10から、仮説が導かれる

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