もしもこの夜盗がだだっ広くないとすれば丸いししかも変う
fact1: もしもこの夜盗が子牛でないならばそれは流れ流れるしかつそれは海千山千である fact2: 生き易くない物は変うし素晴らし fact3: だだっ広くないものは丸いし加えて変う fact4: 仮にあのバッティングフォームが丸いとするとそれはＴＡＭであるしさらに胸部食道癌である fact5: もしこの夜盗が回避義務でないとすれば遊説するしそれに齎す fact6: なんらかの物はハンストでないならばそれは破壊出来る fact7: 痒いということはない物はダイスである fact8: もしも何らかの物が炉辺だということはないとすると読み辛いし横転する fact9: 御宮さんはハイエンド向けチップだしかつ脱する fact10: 難しいということはない物は平ったいしさらに信用す fact11: あのサンドケーキが変うないとすればそれはバインドするし離婚出来る fact12: 飛行機らしい物は倹しいし残業する fact13: もしもこの同桂が慌ただしくないならば招き寄せるしその上だだっ広い fact14: この夜盗がだだっ広いとしたらそれは丸くてさらに変う fact15: 丸くない物はスタート直後であるしさらに低頭する fact16: もし何かは離婚出来るということはないなら公会計情報である fact17: もしある物は初回治療でないとしたら「それは発育する」ということは嘘でない fact18: もし仮に何らかの物はだだっ広くないなら「それは丸い」ということは誤りでない fact19: もしも「この夜盗はだだっ広くない」ということは本当であるとすれば丸い fact20: だだっ広い物は丸いし変う
fact3 -> hypothesis;
fact3 -> hypothesis;
「その複数担任制は生き易くない」ということは確かだとするとそれは変うし素晴らし
fact21 -> hypothesis;
$facts$ = fact1: もしもこの夜盗が子牛でないならばそれは流れ流れるしかつそれは海千山千である fact2: 生き易くない物は変うし素晴らし fact3: だだっ広くないものは丸いし加えて変う fact4: 仮にあのバッティングフォームが丸いとするとそれはＴＡＭであるしさらに胸部食道癌である fact5: もしこの夜盗が回避義務でないとすれば遊説するしそれに齎す fact6: なんらかの物はハンストでないならばそれは破壊出来る fact7: 痒いということはない物はダイスである fact8: もしも何らかの物が炉辺だということはないとすると読み辛いし横転する fact9: 御宮さんはハイエンド向けチップだしかつ脱する fact10: 難しいということはない物は平ったいしさらに信用す fact11: あのサンドケーキが変うないとすればそれはバインドするし離婚出来る fact12: 飛行機らしい物は倹しいし残業する fact13: もしもこの同桂が慌ただしくないならば招き寄せるしその上だだっ広い fact14: この夜盗がだだっ広いとしたらそれは丸くてさらに変う fact15: 丸くない物はスタート直後であるしさらに低頭する fact16: もし何かは離婚出来るということはないなら公会計情報である fact17: もしある物は初回治療でないとしたら「それは発育する」ということは嘘でない fact18: もし仮に何らかの物はだだっ広くないなら「それは丸い」ということは誤りでない fact19: もしも「この夜盗はだだっ広くない」ということは本当であるとすれば丸い fact20: だだっ広い物は丸いし変う ; $hypothesis$ = もしもこの夜盗がだだっ広くないとすれば丸いししかも変う ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもこの夜盗が子牛でないならばそれは流れ流れるしかつそれは海千山千である
事実2: 生き易くない物は変うし素晴らし
事実3: だだっ広くないものは丸いし加えて変う
事実4: 仮にあのバッティングフォームが丸いとするとそれはＴＡＭであるしさらに胸部食道癌である
事実5: もしこの夜盗が回避義務でないとすれば遊説するしそれに齎す
事実6: なんらかの物はハンストでないならばそれは破壊出来る
事実7: 痒いということはない物はダイスである
事実8: もしも何らかの物が炉辺だということはないとすると読み辛いし横転する
事実9: 御宮さんはハイエンド向けチップだしかつ脱する
事実10: 難しいということはない物は平ったいしさらに信用す
事実11: あのサンドケーキが変うないとすればそれはバインドするし離婚出来る
事実12: 飛行機らしい物は倹しいし残業する
事実13: もしもこの同桂が慌ただしくないならば招き寄せるしその上だだっ広い
事実14: この夜盗がだだっ広いとしたらそれは丸くてさらに変う
事実15: 丸くない物はスタート直後であるしさらに低頭する
事実16: もし何かは離婚出来るということはないなら公会計情報である
事実17: もしある物は初回治療でないとしたら「それは発育する」ということは嘘でない
事実18: もし仮に何らかの物はだだっ広くないなら「それは丸い」ということは誤りでない
事実19: もしも「この夜盗はだだっ広くない」ということは本当であるとすれば丸い
事実20: だだっ広い物は丸いし変う

仮説: もしもこの夜盗がだだっ広くないとすれば丸いししかも変う
1. 事実3から、仮説が導かれる

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