「その後角は思い易くないかまたはそれはポール・ロワイヤルでない」ということは真実だ
fact1: このカトリック側はしたがるがしかし見為され得るということはない fact2: あの十禅師は見為され得ない fact3: もしそのイタリア生まれは思い易いということはないなら「その後角は思い易くないかそれはポール・ロワイヤルでないかあるいはどちらもだ」ということは成り立たない fact4: 仮にこのカトリック側がしたがるけれど見為され得ないとしたらそのイタリア生まれは思い易いということはない fact5: そのイタリア生まれは見為され得ないとしたら「このカトリック側は見為され得るということはないかまたは思い易くない」ということは成り立たない fact6: もし仮にその後角は思い易くないなら「このカトリック側は思い易くないかあるいは見為され得ないかもしくはどちらもだ」ということは成り立たない fact7: このカトリック側はしたがる
fact4 & fact1 -> int1: そのイタリア生まれは思い易くない; int1 & fact3 -> hypothesis;
$facts$ = fact1: このカトリック側はしたがるがしかし見為され得るということはない fact2: あの十禅師は見為され得ない fact3: もしそのイタリア生まれは思い易いということはないなら「その後角は思い易くないかそれはポール・ロワイヤルでないかあるいはどちらもだ」ということは成り立たない fact4: 仮にこのカトリック側がしたがるけれど見為され得ないとしたらそのイタリア生まれは思い易いということはない fact5: そのイタリア生まれは見為され得ないとしたら「このカトリック側は見為され得るということはないかまたは思い易くない」ということは成り立たない fact6: もし仮にその後角は思い易くないなら「このカトリック側は思い易くないかあるいは見為され得ないかもしくはどちらもだ」ということは成り立たない fact7: このカトリック側はしたがる ; $hypothesis$ = 「その後角は思い易くないかまたはそれはポール・ロワイヤルでない」ということは真実だ ; $proof$ = 
fact4 & fact1 -> int1: そのイタリア生まれは思い易くない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: このカトリック側はしたがるがしかし見為され得るということはない
事実2: あの十禅師は見為され得ない
事実3: もしそのイタリア生まれは思い易いということはないなら「その後角は思い易くないかそれはポール・ロワイヤルでないかあるいはどちらもだ」ということは成り立たない
事実4: 仮にこのカトリック側がしたがるけれど見為され得ないとしたらそのイタリア生まれは思い易いということはない
事実5: そのイタリア生まれは見為され得ないとしたら「このカトリック側は見為され得るということはないかまたは思い易くない」ということは成り立たない
事実6: もし仮にその後角は思い易くないなら「このカトリック側は思い易くないかあるいは見為され得ないかもしくはどちらもだ」ということは成り立たない
事実7: このカトリック側はしたがる

仮説: 「その後角は思い易くないかまたはそれはポール・ロワイヤルでない」ということは真実だ
1. 事実4と事実1から、推論1: "そのイタリア生まれは思い易くない"が導かれる
2. 推論1と事実3から、仮説が否定される

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