この触れ合い活動は面映ゆかない
fact1: もし仮にこの触れ合い活動が御止め下さらないとすればそれは疑わしいかそれは新説だ fact2: 「「聞き直すけれど近くない」ということは成り立たない」ものはある fact3: 仮に「とある物は発売元だがしかし御強くない」ということは間違いだとすればそれは御止め下さるということはない fact4: この老人福祉計画は面映ゆかない fact5: 何らかのものが新説であるかまたは疑わしいかもしくはどちらもだとしたら面映ゆかない fact6: もし仮に「「聞き直すが近くない」ということは成り立たない」ものがあればこの触れ合い活動は新説である
fact2 & fact6 -> int1: 「この触れ合い活動は新説だ」ということは本当である; int1 -> int2: この触れ合い活動は新説であるか疑わしい; fact5 -> int3: もしこの触れ合い活動は新説であるかまたは疑わしいなら面映ゆかない; int2 & int3 -> hypothesis;
fact2 & fact6 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {B}{a}); fact5 -> int3: ({A}{a} v {B}{a}) -> ¬{C}{a}; int2 & int3 -> hypothesis;
この触れ合い活動は面映ゆい
fact7 -> int4: もし「この触れ合い活動は発売元だが御強いということはない」ということは確かでないとすれば御止め下さらない;
$facts$ = fact1: もし仮にこの触れ合い活動が御止め下さらないとすればそれは疑わしいかそれは新説だ fact2: 「「聞き直すけれど近くない」ということは成り立たない」ものはある fact3: 仮に「とある物は発売元だがしかし御強くない」ということは間違いだとすればそれは御止め下さるということはない fact4: この老人福祉計画は面映ゆかない fact5: 何らかのものが新説であるかまたは疑わしいかもしくはどちらもだとしたら面映ゆかない fact6: もし仮に「「聞き直すが近くない」ということは成り立たない」ものがあればこの触れ合い活動は新説である ; $hypothesis$ = この触れ合い活動は面映ゆかない ; $proof$ = 
fact2 & fact6 -> int1: 「この触れ合い活動は新説だ」ということは本当である; int1 -> int2: この触れ合い活動は新説であるか疑わしい; fact5 -> int3: もしこの触れ合い活動は新説であるかまたは疑わしいなら面映ゆかない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にこの触れ合い活動が御止め下さらないとすればそれは疑わしいかそれは新説だ
事実2: 「「聞き直すけれど近くない」ということは成り立たない」ものはある
事実3: 仮に「とある物は発売元だがしかし御強くない」ということは間違いだとすればそれは御止め下さるということはない
事実4: この老人福祉計画は面映ゆかない
事実5: 何らかのものが新説であるかまたは疑わしいかもしくはどちらもだとしたら面映ゆかない
事実6: もし仮に「「聞き直すが近くない」ということは成り立たない」ものがあればこの触れ合い活動は新説である

仮説: この触れ合い活動は面映ゆかない
1. 事実2と事実6から、推論1: "「この触れ合い活動は新説だ」ということは本当である"が導かれる
2. 推論1から、推論2: "この触れ合い活動は新説であるか疑わしい"が導かれる
3. 事実5から、推論3: "もしこの触れ合い活動は新説であるかまたは疑わしいなら面映ゆかない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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