もし「このマジーシルは彼女らしくない」ということは成り立つなら横たえない
fact1: とあるものが彼女らしくないとするとそれは横たえない fact2: もし仮にこのマジーシルが彼女らしくないとすれば横たえる fact3: もし「このマジーシルは一巡する」ということは事実であるとすれば歩き難くない fact4: 青くないものは名乗り合わない fact5: 仮にある物が下がるとすればそれは変動費化しない fact6: 悪しくないものは押し進めない fact7: 緩み易くないものは求め得る fact8: 「もしこのマジーシルが彼女らしくないならこのマジーシルは滞在でない」ということは真実である fact9: もしなんらかのものが酔えないとすればそれは吸い付けない fact10: もしもあるものが彼女らしいとすれば横たえない fact11: もし仮にこのマジーシルは検査後確率でないなら判定しない fact12: このマジーシルが彼女らしいならばそれは横たえない fact13: もし何らかのものが一巡しないとすれば親近しない fact14: もしも「ある物は捜し回らない」ということは成り立つとしたら名乗り合うということはない fact15: とあるものは吸い付けないなら「追加し為さらない」ということは真実だ fact16: 彼女らしくない物は横たえる fact17: もし仮になにかはリセットするということはないなら短命である fact18: 滑り難くないものは押し分けない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: とあるものが彼女らしくないとするとそれは横たえない fact2: もし仮にこのマジーシルが彼女らしくないとすれば横たえる fact3: もし「このマジーシルは一巡する」ということは事実であるとすれば歩き難くない fact4: 青くないものは名乗り合わない fact5: 仮にある物が下がるとすればそれは変動費化しない fact6: 悪しくないものは押し進めない fact7: 緩み易くないものは求め得る fact8: 「もしこのマジーシルが彼女らしくないならこのマジーシルは滞在でない」ということは真実である fact9: もしなんらかのものが酔えないとすればそれは吸い付けない fact10: もしもあるものが彼女らしいとすれば横たえない fact11: もし仮にこのマジーシルは検査後確率でないなら判定しない fact12: このマジーシルが彼女らしいならばそれは横たえない fact13: もし何らかのものが一巡しないとすれば親近しない fact14: もしも「ある物は捜し回らない」ということは成り立つとしたら名乗り合うということはない fact15: とあるものは吸い付けないなら「追加し為さらない」ということは真実だ fact16: 彼女らしくない物は横たえる fact17: もし仮になにかはリセットするということはないなら短命である fact18: 滑り難くないものは押し分けない ; $hypothesis$ = もし「このマジーシルは彼女らしくない」ということは成り立つなら横たえない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: とあるものが彼女らしくないとするとそれは横たえない
事実2: もし仮にこのマジーシルが彼女らしくないとすれば横たえる
事実3: もし「このマジーシルは一巡する」ということは事実であるとすれば歩き難くない
事実4: 青くないものは名乗り合わない
事実5: 仮にある物が下がるとすればそれは変動費化しない
事実6: 悪しくないものは押し進めない
事実7: 緩み易くないものは求め得る
事実8: 「もしこのマジーシルが彼女らしくないならこのマジーシルは滞在でない」ということは真実である
事実9: もしなんらかのものが酔えないとすればそれは吸い付けない
事実10: もしもあるものが彼女らしいとすれば横たえない
事実11: もし仮にこのマジーシルは検査後確率でないなら判定しない
事実12: このマジーシルが彼女らしいならばそれは横たえない
事実13: もし何らかのものが一巡しないとすれば親近しない
事実14: もしも「ある物は捜し回らない」ということは成り立つとしたら名乗り合うということはない
事実15: とあるものは吸い付けないなら「追加し為さらない」ということは真実だ
事実16: 彼女らしくない物は横たえる
事実17: もし仮になにかはリセットするということはないなら短命である
事実18: 滑り難くないものは押し分けない

仮説: もし「このマジーシルは彼女らしくない」ということは成り立つなら横たえない
1. 事実1から、仮説が導かれる

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