「「そのダイエット食品は軽ーいし捨て方である」ということは事実である」ということは事実と異なる
fact1: 「この二重発券は揺る」ということは本当ならその工程数はそそっかしくない fact2: もし仮にその工程数は名称変更するということはないならば「この二重発券はそそっかしいし加えてアップデートする」ということは成り立たない fact3: もし仮にこの二重発券がそそっかしいしその上捨て方ならば揺らない fact4: そのダイエット食品は陸上植物で軽ーい fact5: 仮に「その工程数はアップデートするけどそれは陸上植物でない」ということは成り立たないとすればあの二重発券はそそっかしいということはない fact6: 「そのダイエット食品はアップデートするけどそれは名称変更しない」ということは誤りなら「その工程数は軽ーくない」ということは成り立つ fact7: もしも「そのダイエット食品は揺る一方で軽ーいということはない」ということは嘘だとするとその工程数はそそっかしくない fact8: もしもその工程数は名称変更するしかつ陸上植物だとしたら軽ーくない fact9: 仮にその工程数は捨て方ならば「そのダイエット食品は揺らない」ということは事実である fact10: 「そのダイエット食品は遠隔教育だしまた捨て方だ」ということは間違っている fact11: 仮にその工程数はアップデートする一方で陸上植物でないとすると名称変更するということはない fact12: 「そのダイエット食品は揺るしまた軽ーい」ということは確かでない fact13: その工程数がそそっかしいとすればあの二重発券は揺らない fact14: もし仮に「その工程数は軽ーいが陸上植物であるということはない」ということは確かでないとしたらそのダイエット食品は揺らない fact15: 「その工程数は名称変更するし軽ーい」ということは成り立たない fact16: もしこの二重発券はそそっかしくないなら「そのダイエット食品は軽ーいしそれにそれは捨て方だ」ということは成り立たない fact17: その工程数が捨て方だしさらにそれはアップデートする fact18: そのダイエット食品はそそっかしいし捨て方ならばそれは軽ーくない fact19: その虚血再灌流障害はそそっかしい fact20: もし「その工程数はアップデートするけどそそっかしくない」ということは成り立たないとするとこの二重発券は揺らない fact21: 「「その工程数は揺るしそれはそそっかしい」ということは嘘である」ということは事実と異ならない fact22: もしもそのダイエット食品がアップデートするとしたらその工程数は捨て方でない fact23: そのダイエット食品は揺らない fact24: その工程数は揺るしさらに名称変更する
void -> assump1: 以下のように仮定する。その工程数はアップデートする一方でそれは陸上植物でない; fact11 & assump1 -> int1: その工程数は名称変更しない; fact24 -> int2: その工程数は名称変更する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その工程数はアップデートするけど陸上植物でない」ということは嘘だ; int4 & fact5 -> int5: この二重発券はそそっかしくない; int5 & fact16 -> hypothesis;
$facts$ = fact1: 「この二重発券は揺る」ということは本当ならその工程数はそそっかしくない fact2: もし仮にその工程数は名称変更するということはないならば「この二重発券はそそっかしいし加えてアップデートする」ということは成り立たない fact3: もし仮にこの二重発券がそそっかしいしその上捨て方ならば揺らない fact4: そのダイエット食品は陸上植物で軽ーい fact5: 仮に「その工程数はアップデートするけどそれは陸上植物でない」ということは成り立たないとすればあの二重発券はそそっかしいということはない fact6: 「そのダイエット食品はアップデートするけどそれは名称変更しない」ということは誤りなら「その工程数は軽ーくない」ということは成り立つ fact7: もしも「そのダイエット食品は揺る一方で軽ーいということはない」ということは嘘だとするとその工程数はそそっかしくない fact8: もしもその工程数は名称変更するしかつ陸上植物だとしたら軽ーくない fact9: 仮にその工程数は捨て方ならば「そのダイエット食品は揺らない」ということは事実である fact10: 「そのダイエット食品は遠隔教育だしまた捨て方だ」ということは間違っている fact11: 仮にその工程数はアップデートする一方で陸上植物でないとすると名称変更するということはない fact12: 「そのダイエット食品は揺るしまた軽ーい」ということは確かでない fact13: その工程数がそそっかしいとすればあの二重発券は揺らない fact14: もし仮に「その工程数は軽ーいが陸上植物であるということはない」ということは確かでないとしたらそのダイエット食品は揺らない fact15: 「その工程数は名称変更するし軽ーい」ということは成り立たない fact16: もしこの二重発券はそそっかしくないなら「そのダイエット食品は軽ーいしそれにそれは捨て方だ」ということは成り立たない fact17: その工程数が捨て方だしさらにそれはアップデートする fact18: そのダイエット食品はそそっかしいし捨て方ならばそれは軽ーくない fact19: その虚血再灌流障害はそそっかしい fact20: もし「その工程数はアップデートするけどそそっかしくない」ということは成り立たないとするとこの二重発券は揺らない fact21: 「「その工程数は揺るしそれはそそっかしい」ということは嘘である」ということは事実と異ならない fact22: もしもそのダイエット食品がアップデートするとしたらその工程数は捨て方でない fact23: そのダイエット食品は揺らない fact24: その工程数は揺るしさらに名称変更する ; $hypothesis$ = 「「そのダイエット食品は軽ーいし捨て方である」ということは事実である」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。その工程数はアップデートする一方でそれは陸上植物でない; fact11 & assump1 -> int1: その工程数は名称変更しない; fact24 -> int2: その工程数は名称変更する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その工程数はアップデートするけど陸上植物でない」ということは嘘だ; int4 & fact5 -> int5: この二重発券はそそっかしくない; int5 & fact16 -> hypothesis; __PROVED__
事実1: 「この二重発券は揺る」ということは本当ならその工程数はそそっかしくない
事実2: もし仮にその工程数は名称変更するということはないならば「この二重発券はそそっかしいし加えてアップデートする」ということは成り立たない
事実3: もし仮にこの二重発券がそそっかしいしその上捨て方ならば揺らない
事実4: そのダイエット食品は陸上植物で軽ーい
事実5: 仮に「その工程数はアップデートするけどそれは陸上植物でない」ということは成り立たないとすればあの二重発券はそそっかしいということはない
事実6: 「そのダイエット食品はアップデートするけどそれは名称変更しない」ということは誤りなら「その工程数は軽ーくない」ということは成り立つ
事実7: もしも「そのダイエット食品は揺る一方で軽ーいということはない」ということは嘘だとするとその工程数はそそっかしくない
事実8: もしもその工程数は名称変更するしかつ陸上植物だとしたら軽ーくない
事実9: 仮にその工程数は捨て方ならば「そのダイエット食品は揺らない」ということは事実である
事実10: 「そのダイエット食品は遠隔教育だしまた捨て方だ」ということは間違っている
事実11: 仮にその工程数はアップデートする一方で陸上植物でないとすると名称変更するということはない
事実12: 「そのダイエット食品は揺るしまた軽ーい」ということは確かでない
事実13: その工程数がそそっかしいとすればあの二重発券は揺らない
事実14: もし仮に「その工程数は軽ーいが陸上植物であるということはない」ということは確かでないとしたらそのダイエット食品は揺らない
事実15: 「その工程数は名称変更するし軽ーい」ということは成り立たない
事実16: もしこの二重発券はそそっかしくないなら「そのダイエット食品は軽ーいしそれにそれは捨て方だ」ということは成り立たない
事実17: その工程数が捨て方だしさらにそれはアップデートする
事実18: そのダイエット食品はそそっかしいし捨て方ならばそれは軽ーくない
事実19: その虚血再灌流障害はそそっかしい
事実20: もし「その工程数はアップデートするけどそそっかしくない」ということは成り立たないとするとこの二重発券は揺らない
事実21: 「「その工程数は揺るしそれはそそっかしい」ということは嘘である」ということは事実と異ならない
事実22: もしもそのダイエット食品がアップデートするとしたらその工程数は捨て方でない
事実23: そのダイエット食品は揺らない
事実24: その工程数は揺るしさらに名称変更する

仮説: 「「そのダイエット食品は軽ーいし捨て方である」ということは事実である」ということは事実と異なる
1. 仮定1: 以下のように仮定する。その工程数はアップデートする一方でそれは陸上植物でない
2. 事実11と仮定1から、推論1: "その工程数は名称変更しない"が導かれる
3. 事実24から、推論2: "その工程数は名称変更する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その工程数はアップデートするけど陸上植物でない」ということは嘘だ"が導かれる
6. 推論4と事実5から、推論5: "この二重発券はそそっかしくない"が導かれる
7. 推論5と事実16から、仮説が導かれる

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