この方広寺はキリスト教精神である
fact1: この方広寺が得易くないが印象深いならそれはアストロでない fact2: この方広寺は得易くないけれど印象深い fact3: ある物はアストロでないならばキリスト教精神でない
fact3 -> int1: 「この方広寺がアストロでないならばあの方広寺はキリスト教精神でない」ということは成り立つ; fact1 & fact2 -> int2: この方広寺はアストロでない; int1 & int2 -> hypothesis;
$facts$ = fact1: この方広寺が得易くないが印象深いならそれはアストロでない fact2: この方広寺は得易くないけれど印象深い fact3: ある物はアストロでないならばキリスト教精神でない ; $hypothesis$ = この方広寺はキリスト教精神である ; $proof$ = 
fact3 -> int1: 「この方広寺がアストロでないならばあの方広寺はキリスト教精神でない」ということは成り立つ; fact1 & fact2 -> int2: この方広寺はアストロでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この方広寺が得易くないが印象深いならそれはアストロでない
事実2: この方広寺は得易くないけれど印象深い
事実3: ある物はアストロでないならばキリスト教精神でない

仮説: この方広寺はキリスト教精神である
1. 事実3から、推論1: "「この方広寺がアストロでないならばあの方広寺はキリスト教精神でない」ということは成り立つ"が導かれる
2. 事実1と事実2から、推論2: "この方広寺はアストロでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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