その特異反応は無理無くない
fact1: このベッカー・ブレートヘンは伝記映画でない fact2: このベッカー・ブレートヘンが如才無いとすればその特異反応は無理無い fact3: このベッカー・ブレートヘンは保持増進する fact4: その特異反応は如才無い fact5: このベッカー・ブレートヘンが伝記映画でないなら保持増進するしそれに如才無い fact6: 仮にその特異反応が如才無いとしたらこのベッカー・ブレートヘンは無理無い
fact5 & fact1 -> int1: このベッカー・ブレートヘンは保持増進するしそれは如才無い; int1 -> int2: このベッカー・ブレートヘンは如才無い; int2 & fact2 -> hypothesis;
fact5 & fact1 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このベッカー・ブレートヘンは伝記映画でない fact2: このベッカー・ブレートヘンが如才無いとすればその特異反応は無理無い fact3: このベッカー・ブレートヘンは保持増進する fact4: その特異反応は如才無い fact5: このベッカー・ブレートヘンが伝記映画でないなら保持増進するしそれに如才無い fact6: 仮にその特異反応が如才無いとしたらこのベッカー・ブレートヘンは無理無い ; $hypothesis$ = その特異反応は無理無くない ; $proof$ = 
fact5 & fact1 -> int1: このベッカー・ブレートヘンは保持増進するしそれは如才無い; int1 -> int2: このベッカー・ブレートヘンは如才無い; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: このベッカー・ブレートヘンは伝記映画でない
事実2: このベッカー・ブレートヘンが如才無いとすればその特異反応は無理無い
事実3: このベッカー・ブレートヘンは保持増進する
事実4: その特異反応は如才無い
事実5: このベッカー・ブレートヘンが伝記映画でないなら保持増進するしそれに如才無い
事実6: 仮にその特異反応が如才無いとしたらこのベッカー・ブレートヘンは無理無い

仮説: その特異反応は無理無くない
1. 事実5と事実1から、推論1: "このベッカー・ブレートヘンは保持増進するしそれは如才無い"が導かれる
2. 推論1から、推論2: "このベッカー・ブレートヘンは如才無い"が導かれる
3. 推論2と事実2から、仮説が否定される

よって、仮説が否定されました。