このサプライズは在任期間でない
fact1: もし仮に「「その学帽は取り次ぎだが交通しない」ということは偽である」ということは成り立つとするとこのサプライズは在任期間だということはない fact2: この十一項目はタガログ語である fact3: もし仮にタガログ語が尤もらしいならば交通しない fact4: この十一項目は尤もらしい fact5: 仮にこの十一項目は交通しないとすると「その学帽は取り次ぎだがしかし交通しない」ということは誤っている
fact3 -> int1: もしもこの十一項目はタガログ語でおまけに尤もらしいとしたらそれは交通しない; fact4 & fact2 -> int2: この十一項目はタガログ語だし加えて尤もらしい; int1 & int2 -> int3: 「この十一項目は交通しない」ということは本当だ; int3 & fact5 -> int4: 「その学帽は取り次ぎであるけど交通しない」ということは成り立たない; int4 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「「その学帽は取り次ぎだが交通しない」ということは偽である」ということは成り立つとするとこのサプライズは在任期間だということはない fact2: この十一項目はタガログ語である fact3: もし仮にタガログ語が尤もらしいならば交通しない fact4: この十一項目は尤もらしい fact5: 仮にこの十一項目は交通しないとすると「その学帽は取り次ぎだがしかし交通しない」ということは誤っている ; $hypothesis$ = このサプライズは在任期間でない ; $proof$ = 
fact3 -> int1: もしもこの十一項目はタガログ語でおまけに尤もらしいとしたらそれは交通しない; fact4 & fact2 -> int2: この十一項目はタガログ語だし加えて尤もらしい; int1 & int2 -> int3: 「この十一項目は交通しない」ということは本当だ; int3 & fact5 -> int4: 「その学帽は取り次ぎであるけど交通しない」ということは成り立たない; int4 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に「「その学帽は取り次ぎだが交通しない」ということは偽である」ということは成り立つとするとこのサプライズは在任期間だということはない
事実2: この十一項目はタガログ語である
事実3: もし仮にタガログ語が尤もらしいならば交通しない
事実4: この十一項目は尤もらしい
事実5: 仮にこの十一項目は交通しないとすると「その学帽は取り次ぎだがしかし交通しない」ということは誤っている

仮説: このサプライズは在任期間でない
1. 事実3から、推論1: "もしもこの十一項目はタガログ語でおまけに尤もらしいとしたらそれは交通しない"が導かれる
2. 事実4と事実2から、推論2: "この十一項目はタガログ語だし加えて尤もらしい"が導かれる
3. 推論1と推論2から、推論3: "「この十一項目は交通しない」ということは本当だ"が導かれる
4. 推論3と事実5から、推論4: "「その学帽は取り次ぎであるけど交通しない」ということは成り立たない"が導かれる
5. 推論4と事実1から、仮説が導かれる

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