この御家騒動は人懐っこくない
fact1: もし「あの難波宮は用い易い」ということは本当であるならこの御家騒動は用い易い fact2: 「あの混ぜ麺は消化し難いしおまけにそれはどぎまぎする」ということは確かでない fact3: もし「どぎまぎしない」ものがあるとしたらこの御家騒動は人懐っこくない fact4: 用い易い物は進行し始めないかまたは掛け難くないかもしくは両方ともだ fact5: この表層部は政策能力でない fact6: もし仮に「「消化し難くてどぎまぎする」ということは誤りな」ものがあるとすればこの御家騒動は人懐っこいということはない fact7: もし仮に何らかの物が政策能力でないとしたらそれは塀で青い fact8: ある物は消化し難いしさらにどぎまぎする fact9: もしもこの表層部が青いならばあの難波宮は用い易い
fact2 -> int1: 「「「消化し難いしどぎまぎする」ということは真実だ」ということは間違っている」物はある; int1 & fact6 -> hypothesis;
fact2 -> int1: (Ex): ¬({AA}x & {AB}x); int1 & fact6 -> hypothesis;
この御家騒動は人懐っこい
fact11 -> int2: もしこの御家騒動が用い易いとすれば進行し始めないかあるいは掛け難くないかもしくは両方ともである; fact12 -> int3: 仮にこの表層部が政策能力でないとするとそれは塀でその上それは青い; int3 & fact14 -> int4: この表層部は塀でおまけにそれは青い; int4 -> int5: この表層部は青い; fact13 & int5 -> int6: あの難波宮は用い易い; fact10 & int6 -> int7: この御家騒動は用い易い; int2 & int7 -> int8: この御家騒動は進行し始めないか掛け難くない;
$facts$ = fact1: もし「あの難波宮は用い易い」ということは本当であるならこの御家騒動は用い易い fact2: 「あの混ぜ麺は消化し難いしおまけにそれはどぎまぎする」ということは確かでない fact3: もし「どぎまぎしない」ものがあるとしたらこの御家騒動は人懐っこくない fact4: 用い易い物は進行し始めないかまたは掛け難くないかもしくは両方ともだ fact5: この表層部は政策能力でない fact6: もし仮に「「消化し難くてどぎまぎする」ということは誤りな」ものがあるとすればこの御家騒動は人懐っこいということはない fact7: もし仮に何らかの物が政策能力でないとしたらそれは塀で青い fact8: ある物は消化し難いしさらにどぎまぎする fact9: もしもこの表層部が青いならばあの難波宮は用い易い ; $hypothesis$ = この御家騒動は人懐っこくない ; $proof$ = 
fact2 -> int1: 「「「消化し難いしどぎまぎする」ということは真実だ」ということは間違っている」物はある; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし「あの難波宮は用い易い」ということは本当であるならこの御家騒動は用い易い
事実2: 「あの混ぜ麺は消化し難いしおまけにそれはどぎまぎする」ということは確かでない
事実3: もし「どぎまぎしない」ものがあるとしたらこの御家騒動は人懐っこくない
事実4: 用い易い物は進行し始めないかまたは掛け難くないかもしくは両方ともだ
事実5: この表層部は政策能力でない
事実6: もし仮に「「消化し難くてどぎまぎする」ということは誤りな」ものがあるとすればこの御家騒動は人懐っこいということはない
事実7: もし仮に何らかの物が政策能力でないとしたらそれは塀で青い
事実8: ある物は消化し難いしさらにどぎまぎする
事実9: もしもこの表層部が青いならばあの難波宮は用い易い

仮説: この御家騒動は人懐っこくない
1. 事実2から、推論1: "「「「消化し難いしどぎまぎする」ということは真実だ」ということは間違っている」物はある"が導かれる
2. 推論1と事実6から、仮説が導かれる

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