「「冷め易くないなら寄り合う」物はある」ということは成り立つ
fact1: 冷め易くない物はヨーロッパ共同体で寄り合う fact2: もしとある物がヨーロッパ共同体だということはないとするとそれは紹介し合う
fact1 -> int1: 仮にこの十句義論が冷め易くないとすればそれはヨーロッパ共同体であるしさらにそれは寄り合う; void -> assump1: 以下のように仮定する。この十句義論は冷め易くない; int1 & assump1 -> int2: この十句義論はヨーロッパ共同体であるしその上寄り合う; int2 -> int3: この十句義論は寄り合う; [assump1] & int3 -> int4: もし仮にこの十句義論は冷め易くないなら「それは寄り合う」ということは事実と異なるということはない; int4 -> hypothesis;
この十句義論はヨーロッパ共同体でないとするとそれは紹介し合う
fact3 -> hypothesis;
$facts$ = fact1: 冷め易くない物はヨーロッパ共同体で寄り合う fact2: もしとある物がヨーロッパ共同体だということはないとするとそれは紹介し合う ; $hypothesis$ = 「「冷め易くないなら寄り合う」物はある」ということは成り立つ ; $proof$ = 
fact1 -> int1: 仮にこの十句義論が冷め易くないとすればそれはヨーロッパ共同体であるしさらにそれは寄り合う; void -> assump1: 以下のように仮定する。この十句義論は冷め易くない; int1 & assump1 -> int2: この十句義論はヨーロッパ共同体であるしその上寄り合う; int2 -> int3: この十句義論は寄り合う; [assump1] & int3 -> int4: もし仮にこの十句義論は冷め易くないなら「それは寄り合う」ということは事実と異なるということはない; int4 -> hypothesis; __PROVED__
事実1: 冷め易くない物はヨーロッパ共同体で寄り合う
事実2: もしとある物がヨーロッパ共同体だということはないとするとそれは紹介し合う

仮説: 「「冷め易くないなら寄り合う」物はある」ということは成り立つ
1. 事実1から、推論1: "仮にこの十句義論が冷め易くないとすればそれはヨーロッパ共同体であるしさらにそれは寄り合う"が導かれる
2. 仮定1: 以下のように仮定する。この十句義論は冷め易くない
3. 推論1と仮定1から、推論2: "この十句義論はヨーロッパ共同体であるしその上寄り合う"が導かれる
4. 推論2から、推論3: "この十句義論は寄り合う"が導かれる
5. [仮定1]と推論3から、推論4: "もし仮にこの十句義論は冷め易くないなら「それは寄り合う」ということは事実と異なるということはない"が導かれる
6. 推論4から、仮説が導かれる

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