その否定フィードバックは求償する
fact1: 池田・ロバートソン会談はツインでない fact2: 仮にその否定フィードバックが求償しないならばその子供同士はごみごみするしまた池田・ロバートソン会談である fact3: その子供同士はツインである
void -> assump1: 以下のように仮定する。その否定フィードバックは求償しない; fact2 & assump1 -> int1: その子供同士はごみごみするし池田・ロバートソン会談である; int1 -> int2: その子供同士は池田・ロバートソン会談である; fact1 -> int3: その子供同士が池田・ロバートソン会談ならそれはツインでない; int2 & int3 -> int4: 「その子供同士はツインであるということはない」ということは成り立つ; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 池田・ロバートソン会談はツインでない fact2: 仮にその否定フィードバックが求償しないならばその子供同士はごみごみするしまた池田・ロバートソン会談である fact3: その子供同士はツインである ; $hypothesis$ = その否定フィードバックは求償する ; $proof$ = 
void -> assump1: 以下のように仮定する。その否定フィードバックは求償しない; fact2 & assump1 -> int1: その子供同士はごみごみするし池田・ロバートソン会談である; int1 -> int2: その子供同士は池田・ロバートソン会談である; fact1 -> int3: その子供同士が池田・ロバートソン会談ならそれはツインでない; int2 & int3 -> int4: 「その子供同士はツインであるということはない」ということは成り立つ; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 池田・ロバートソン会談はツインでない
事実2: 仮にその否定フィードバックが求償しないならばその子供同士はごみごみするしまた池田・ロバートソン会談である
事実3: その子供同士はツインである

仮説: その否定フィードバックは求償する
1. 仮定1: 以下のように仮定する。その否定フィードバックは求償しない
2. 事実2と仮定1から、推論1: "その子供同士はごみごみするし池田・ロバートソン会談である"が導かれる
3. 推論1から、推論2: "その子供同士は池田・ロバートソン会談である"が導かれる
4. 事実1から、推論3: "その子供同士が池田・ロバートソン会談ならそれはツインでない"が導かれる
5. 推論2と推論3から、推論4: "「その子供同士はツインであるということはない」ということは成り立つ"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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