仮に「「そのレイアウト上は茶色くないしおまけに緩み掛けない」ということは偽である」ということは真実であるならばそれは革命期だということはない
fact1: 仮にあるものは品種改良しないし鋭くないなら初代社長でない fact2: もしも「なんらかの物は茶色くないしおまけに緩み掛けない」ということは成り立たないならばそれは革命期でない fact3: もしもこのνυが革命期だとするとそれはこそばゆいということはない fact4: もしなにがしかの物が皮肉っぽいなら得難しない fact5: もしも「そのレイアウト上は茶色いけれどそれは緩み掛けない」ということは成り立たないなら革命期だということはない fact6: もし「なにかはアルキル鎖でないがしかし壊れ難い」ということは嘘であるならば「通告しない」ということは確かだ fact7: 「そのレイアウト上は品種改良しないしかつ痩せ難いということはない」ということは誤っているなら緩み掛ける fact8: もし仮に「何らかのものは豆絞りでない一方でそれは忘れっぽい」ということは成り立つということはないなら天使らしくない fact9: もし仮に「なにかは写り込まなくて痩せ難くない」ということは成り立たないとすればそれは運転し易くない fact10: もしもそのレイアウト上がせがめば座剤でない fact11: 「「なにがしかのものは閲覧出来ないし更に破砕しない」ということは正しい」ということは成り立たないならそれは尊しない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 仮にあるものは品種改良しないし鋭くないなら初代社長でない fact2: もしも「なんらかの物は茶色くないしおまけに緩み掛けない」ということは成り立たないならばそれは革命期でない fact3: もしもこのνυが革命期だとするとそれはこそばゆいということはない fact4: もしなにがしかの物が皮肉っぽいなら得難しない fact5: もしも「そのレイアウト上は茶色いけれどそれは緩み掛けない」ということは成り立たないなら革命期だということはない fact6: もし「なにかはアルキル鎖でないがしかし壊れ難い」ということは嘘であるならば「通告しない」ということは確かだ fact7: 「そのレイアウト上は品種改良しないしかつ痩せ難いということはない」ということは誤っているなら緩み掛ける fact8: もし仮に「何らかのものは豆絞りでない一方でそれは忘れっぽい」ということは成り立つということはないなら天使らしくない fact9: もし仮に「なにかは写り込まなくて痩せ難くない」ということは成り立たないとすればそれは運転し易くない fact10: もしもそのレイアウト上がせがめば座剤でない fact11: 「「なにがしかのものは閲覧出来ないし更に破砕しない」ということは正しい」ということは成り立たないならそれは尊しない ; $hypothesis$ = 仮に「「そのレイアウト上は茶色くないしおまけに緩み掛けない」ということは偽である」ということは真実であるならばそれは革命期だということはない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮にあるものは品種改良しないし鋭くないなら初代社長でない
事実2: もしも「なんらかの物は茶色くないしおまけに緩み掛けない」ということは成り立たないならばそれは革命期でない
事実3: もしもこのνυが革命期だとするとそれはこそばゆいということはない
事実4: もしなにがしかの物が皮肉っぽいなら得難しない
事実5: もしも「そのレイアウト上は茶色いけれどそれは緩み掛けない」ということは成り立たないなら革命期だということはない
事実6: もし「なにかはアルキル鎖でないがしかし壊れ難い」ということは嘘であるならば「通告しない」ということは確かだ
事実7: 「そのレイアウト上は品種改良しないしかつ痩せ難いということはない」ということは誤っているなら緩み掛ける
事実8: もし仮に「何らかのものは豆絞りでない一方でそれは忘れっぽい」ということは成り立つということはないなら天使らしくない
事実9: もし仮に「なにかは写り込まなくて痩せ難くない」ということは成り立たないとすればそれは運転し易くない
事実10: もしもそのレイアウト上がせがめば座剤でない
事実11: 「「なにがしかのものは閲覧出来ないし更に破砕しない」ということは正しい」ということは成り立たないならそれは尊しない

仮説: 仮に「「そのレイアウト上は茶色くないしおまけに緩み掛けない」ということは偽である」ということは真実であるならばそれは革命期だということはない
1. 事実2から、仮説が導かれる

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