あのダンサー達は東西でない
fact1: あのダンサー達は厚しということはない fact2: もしも何かは四人以下でないならばそれは要義問答だしまた腑甲斐無い fact3: 「あのダンサー達はコレクションしない」ということは成り立つ fact4: もし仮にあのダンサー達が腑甲斐無くないしさらに悍ましくないとしたらこの贈与は悍ましいということはない fact5: もしもあのトランスデューサが要義問答ならばこの贈与は要義問答である fact6: 「あのダンサー達は四人以下であるし腑甲斐無い」ということは成り立つ fact7: もし何らかのものは引き入れるとすれば「それは四人以下だということはないし逐条解説であるということはない」ということは事実でない fact8: この臆面は要義問答であるしそれにそれは引き起こし易い fact9: あのダンサー達は四人以下である fact10: もし仮になんらかのものは莢豌豆でないがしかし腑甲斐無いならそれは東西でない fact11: あのダンサー達は要義問答でない fact12: 要義問答は莢豌豆である fact13: このローズオイルは東西でない fact14: もし「この商品リストは四人以下でなくておまけに逐条解説でない」ということは間違っているとすればそのオリジナルデザインは東西だ fact15: あのダンサー達は莢豌豆でないしさらに要義問答でない fact16: もしもそのオリジナルデザインが東西であるとしたらあのダンサー達は腑甲斐無くないししかも悍ましかない
fact15 -> int1: あのダンサー達は莢豌豆でない; fact6 -> int2: 「あのダンサー達は腑甲斐無い」ということは本当である; int1 & int2 -> int3: あのダンサー達は莢豌豆でないけど腑甲斐無い; fact10 -> int4: 「あのダンサー達は莢豌豆であるということはないがしかし腑甲斐無い」ということは事実であるとするとそれは東西だということはない; int3 & int4 -> hypothesis;
あのダンサー達は東西である
fact17 -> int5: もし仮にあのダンサー達が要義問答ならば莢豌豆である; fact18 -> int6: もしあのトランスデューサが四人以下でないならばそれは要義問答で加えて腑甲斐無い;
$facts$ = fact1: あのダンサー達は厚しということはない fact2: もしも何かは四人以下でないならばそれは要義問答だしまた腑甲斐無い fact3: 「あのダンサー達はコレクションしない」ということは成り立つ fact4: もし仮にあのダンサー達が腑甲斐無くないしさらに悍ましくないとしたらこの贈与は悍ましいということはない fact5: もしもあのトランスデューサが要義問答ならばこの贈与は要義問答である fact6: 「あのダンサー達は四人以下であるし腑甲斐無い」ということは成り立つ fact7: もし何らかのものは引き入れるとすれば「それは四人以下だということはないし逐条解説であるということはない」ということは事実でない fact8: この臆面は要義問答であるしそれにそれは引き起こし易い fact9: あのダンサー達は四人以下である fact10: もし仮になんらかのものは莢豌豆でないがしかし腑甲斐無いならそれは東西でない fact11: あのダンサー達は要義問答でない fact12: 要義問答は莢豌豆である fact13: このローズオイルは東西でない fact14: もし「この商品リストは四人以下でなくておまけに逐条解説でない」ということは間違っているとすればそのオリジナルデザインは東西だ fact15: あのダンサー達は莢豌豆でないしさらに要義問答でない fact16: もしもそのオリジナルデザインが東西であるとしたらあのダンサー達は腑甲斐無くないししかも悍ましかない ; $hypothesis$ = あのダンサー達は東西でない ; $proof$ = 
fact15 -> int1: あのダンサー達は莢豌豆でない; fact6 -> int2: 「あのダンサー達は腑甲斐無い」ということは本当である; int1 & int2 -> int3: あのダンサー達は莢豌豆でないけど腑甲斐無い; fact10 -> int4: 「あのダンサー達は莢豌豆であるということはないがしかし腑甲斐無い」ということは事実であるとするとそれは東西だということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: あのダンサー達は厚しということはない
事実2: もしも何かは四人以下でないならばそれは要義問答だしまた腑甲斐無い
事実3: 「あのダンサー達はコレクションしない」ということは成り立つ
事実4: もし仮にあのダンサー達が腑甲斐無くないしさらに悍ましくないとしたらこの贈与は悍ましいということはない
事実5: もしもあのトランスデューサが要義問答ならばこの贈与は要義問答である
事実6: 「あのダンサー達は四人以下であるし腑甲斐無い」ということは成り立つ
事実7: もし何らかのものは引き入れるとすれば「それは四人以下だということはないし逐条解説であるということはない」ということは事実でない
事実8: この臆面は要義問答であるしそれにそれは引き起こし易い
事実9: あのダンサー達は四人以下である
事実10: もし仮になんらかのものは莢豌豆でないがしかし腑甲斐無いならそれは東西でない
事実11: あのダンサー達は要義問答でない
事実12: 要義問答は莢豌豆である
事実13: このローズオイルは東西でない
事実14: もし「この商品リストは四人以下でなくておまけに逐条解説でない」ということは間違っているとすればそのオリジナルデザインは東西だ
事実15: あのダンサー達は莢豌豆でないしさらに要義問答でない
事実16: もしもそのオリジナルデザインが東西であるとしたらあのダンサー達は腑甲斐無くないししかも悍ましかない

仮説: あのダンサー達は東西でない
1. 事実15から、推論1: "あのダンサー達は莢豌豆でない"が導かれる
2. 事実6から、推論2: "「あのダンサー達は腑甲斐無い」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "あのダンサー達は莢豌豆でないけど腑甲斐無い"が導かれる
4. 事実10から、推論4: "「あのダンサー達は莢豌豆であるということはないがしかし腑甲斐無い」ということは事実であるとするとそれは東西だということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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