「したがらないとすれば意義付けなくておまけに法法でない」ものはある
fact1: もしもある物はしたがらないならそれは意義付けるが法法でない fact2: 「もし「全面改装しない」ということは真実であるならば被告人でないしそれに一定期間経過後でない」物はある fact3: 「したがらないとすると法法でない」ものはある fact4: もしも「あるものは一定期間経過後でない」ということは偽でないとするとそれは疲れ難くないしおまけに公害等調整委員会でない fact5: もしもそのオッケーはしたがらないとすると法法でない fact6: 「もしも人恋しくないならば慟哭しないし切れ易くない」ものはある fact7: もしなにかは魘され続けないなら男女差別でないし加えてつべたくない fact8: 「もし仮に現出しないとしたら推定出来なくてしかも白ワイシャツでない」ものはある fact9: 仮になにかはしたがるとすれば意義付けないし法法でない fact10: もしそのオッケーはしたがらないとしたら意義付けるしさらに法法でない fact11: もし仮になんらかのものはしたがらないならばそれは法法でない fact12: 仮に何かはしたがらないならそれは意義付けないしおまけに法法でない fact13: もしもなにがしかのものが重宝するということはないならそれはふざけ合わないしそれは好ましない fact14: 薄汚くない物は格好悪くなくておまけに洗濯槽でない fact15: 「もし仮にしたがるとすると意義付けるということはなくて法法でない」物はある fact16: 仮にそのオッケーがしたがるとしたらそれは意義付けるということはないし加えてそれは法法だということはない fact17: 「したがらないなら意義付ける一方で法法でない」ものはある
fact12 -> int1: もし「そのオッケーはしたがらない」ということは間違っているということはないならそれは意義付けないし法法でない; int1 -> hypothesis;
$facts$ = fact1: もしもある物はしたがらないならそれは意義付けるが法法でない fact2: 「もし「全面改装しない」ということは真実であるならば被告人でないしそれに一定期間経過後でない」物はある fact3: 「したがらないとすると法法でない」ものはある fact4: もしも「あるものは一定期間経過後でない」ということは偽でないとするとそれは疲れ難くないしおまけに公害等調整委員会でない fact5: もしもそのオッケーはしたがらないとすると法法でない fact6: 「もしも人恋しくないならば慟哭しないし切れ易くない」ものはある fact7: もしなにかは魘され続けないなら男女差別でないし加えてつべたくない fact8: 「もし仮に現出しないとしたら推定出来なくてしかも白ワイシャツでない」ものはある fact9: 仮になにかはしたがるとすれば意義付けないし法法でない fact10: もしそのオッケーはしたがらないとしたら意義付けるしさらに法法でない fact11: もし仮になんらかのものはしたがらないならばそれは法法でない fact12: 仮に何かはしたがらないならそれは意義付けないしおまけに法法でない fact13: もしもなにがしかのものが重宝するということはないならそれはふざけ合わないしそれは好ましない fact14: 薄汚くない物は格好悪くなくておまけに洗濯槽でない fact15: 「もし仮にしたがるとすると意義付けるということはなくて法法でない」物はある fact16: 仮にそのオッケーがしたがるとしたらそれは意義付けるということはないし加えてそれは法法だということはない fact17: 「したがらないなら意義付ける一方で法法でない」ものはある ; $hypothesis$ = 「したがらないとすれば意義付けなくておまけに法法でない」ものはある ; $proof$ = 
fact12 -> int1: もし「そのオッケーはしたがらない」ということは間違っているということはないならそれは意義付けないし法法でない; int1 -> hypothesis; __PROVED__
事実1: もしもある物はしたがらないならそれは意義付けるが法法でない
事実2: 「もし「全面改装しない」ということは真実であるならば被告人でないしそれに一定期間経過後でない」物はある
事実3: 「したがらないとすると法法でない」ものはある
事実4: もしも「あるものは一定期間経過後でない」ということは偽でないとするとそれは疲れ難くないしおまけに公害等調整委員会でない
事実5: もしもそのオッケーはしたがらないとすると法法でない
事実6: 「もしも人恋しくないならば慟哭しないし切れ易くない」ものはある
事実7: もしなにかは魘され続けないなら男女差別でないし加えてつべたくない
事実8: 「もし仮に現出しないとしたら推定出来なくてしかも白ワイシャツでない」ものはある
事実9: 仮になにかはしたがるとすれば意義付けないし法法でない
事実10: もしそのオッケーはしたがらないとしたら意義付けるしさらに法法でない
事実11: もし仮になんらかのものはしたがらないならばそれは法法でない
事実12: 仮に何かはしたがらないならそれは意義付けないしおまけに法法でない
事実13: もしもなにがしかのものが重宝するということはないならそれはふざけ合わないしそれは好ましない
事実14: 薄汚くない物は格好悪くなくておまけに洗濯槽でない
事実15: 「もし仮にしたがるとすると意義付けるということはなくて法法でない」物はある
事実16: 仮にそのオッケーがしたがるとしたらそれは意義付けるということはないし加えてそれは法法だということはない
事実17: 「したがらないなら意義付ける一方で法法でない」ものはある

仮説: 「したがらないとすれば意義付けなくておまけに法法でない」ものはある
1. 事実12から、推論1: "もし「そのオッケーはしたがらない」ということは間違っているということはないならそれは意義付けないし法法でない"が導かれる
2. 推論1から、仮説が導かれる

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