この苺が食塩であるとすればこの子供達自身はこんがらがらない
fact1: もしこの子供達自身がこんがらがるかあるいはそれが忘れ易いかあるいは両方ともであるとするとこの苺は食塩である fact2: そのＦＬＨは食塩だ fact3: そのドイツ自動車工業は忘れ易くない fact4: もしこの苺が食塩であるとすればこの子供達自身はこんがらがる fact5: この苺はこんがらがる fact6: 仮にこの子供達自身が食塩ならこの苺は忘れ易くない fact7: もし仮に「この子供達自身は忘れ易い」ということは成り立つならこの苺は食塩でない fact8: 仮にこの子供達自身がこんがらがるか忘れ易いとするとこの苺は食塩でない fact9: この苺は食塩であるかまたはそれは忘れ易いかあるいはどちらもだ
void -> assump2: 以下のように仮定する。この子供達自身はこんがらがる; assump2 -> int1: この子供達自身はこんがらがるか忘れ易いかまたは両方である; int1 & fact8 -> int2: この苺は食塩でない; void -> assump1: 以下のように仮定する。この苺は食塩だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この子供達自身はこんがらがるということはない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしこの子供達自身がこんがらがるかあるいはそれが忘れ易いかあるいは両方ともであるとするとこの苺は食塩である fact2: そのＦＬＨは食塩だ fact3: そのドイツ自動車工業は忘れ易くない fact4: もしこの苺が食塩であるとすればこの子供達自身はこんがらがる fact5: この苺はこんがらがる fact6: 仮にこの子供達自身が食塩ならこの苺は忘れ易くない fact7: もし仮に「この子供達自身は忘れ易い」ということは成り立つならこの苺は食塩でない fact8: 仮にこの子供達自身がこんがらがるか忘れ易いとするとこの苺は食塩でない fact9: この苺は食塩であるかまたはそれは忘れ易いかあるいはどちらもだ ; $hypothesis$ = この苺が食塩であるとすればこの子供達自身はこんがらがらない ; $proof$ = 
void -> assump2: 以下のように仮定する。この子供達自身はこんがらがる; assump2 -> int1: この子供達自身はこんがらがるか忘れ易いかまたは両方である; int1 & fact8 -> int2: この苺は食塩でない; void -> assump1: 以下のように仮定する。この苺は食塩だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この子供達自身はこんがらがるということはない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしこの子供達自身がこんがらがるかあるいはそれが忘れ易いかあるいは両方ともであるとするとこの苺は食塩である
事実2: そのＦＬＨは食塩だ
事実3: そのドイツ自動車工業は忘れ易くない
事実4: もしこの苺が食塩であるとすればこの子供達自身はこんがらがる
事実5: この苺はこんがらがる
事実6: 仮にこの子供達自身が食塩ならこの苺は忘れ易くない
事実7: もし仮に「この子供達自身は忘れ易い」ということは成り立つならこの苺は食塩でない
事実8: 仮にこの子供達自身がこんがらがるか忘れ易いとするとこの苺は食塩でない
事実9: この苺は食塩であるかまたはそれは忘れ易いかあるいはどちらもだ

仮説: この苺が食塩であるとすればこの子供達自身はこんがらがらない
1. 仮定2: 以下のように仮定する。この子供達自身はこんがらがる
2. 仮定2から、推論1: "この子供達自身はこんがらがるか忘れ易いかまたは両方である"が導かれる
3. 推論1と事実8から、推論2: "この苺は食塩でない"が導かれる
4. 仮定1: 以下のように仮定する。この苺は食塩だ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "この子供達自身はこんがらがるということはない"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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