この金利変動は悪賢くない
fact1: 仮に「この金利変動は映り込むしユーザー像だ」ということは誤っているとしたら悪賢くない fact2: この金利変動は青しない fact3: もしもあのシャーシは青しないとしたら「この金利変動は映り込むしそれにユーザー像だ」ということは誤っている fact4: もし青しない物が移管するとしたら悪賢い fact5: もし仮にこの金利変動が映り込まないとすればそれは悪賢くない fact6: 「この金利変動は青しし映り込む」ということは成り立たない fact7: もしとある物が移管するならばあのシャーシは青しない fact8: 「「移管する」ということは本当な」物はある fact9: もしも「移管する」ものがあるとしたらこの金利変動は戒灌頂でない fact10: もしもあのシャーシは悪賢くないとすると「この金利変動はユーザー像であるしおまけに映り込む」ということは間違っている fact11: その短編映画はユーザー像でない
fact8 & fact7 -> int1: あのシャーシは青しない; int1 & fact3 -> int2: 「この金利変動は映り込むしその上ユーザー像である」ということは誤っている; int2 & fact1 -> hypothesis;
fact8 & fact7 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬({C}{b} & {D}{b}); int2 & fact1 -> hypothesis;
この金利変動は悪賢い
fact12 -> int3: この金利変動は青しということはないけれど移管すれば悪賢い;
$facts$ = fact1: 仮に「この金利変動は映り込むしユーザー像だ」ということは誤っているとしたら悪賢くない fact2: この金利変動は青しない fact3: もしもあのシャーシは青しないとしたら「この金利変動は映り込むしそれにユーザー像だ」ということは誤っている fact4: もし青しない物が移管するとしたら悪賢い fact5: もし仮にこの金利変動が映り込まないとすればそれは悪賢くない fact6: 「この金利変動は青しし映り込む」ということは成り立たない fact7: もしとある物が移管するならばあのシャーシは青しない fact8: 「「移管する」ということは本当な」物はある fact9: もしも「移管する」ものがあるとしたらこの金利変動は戒灌頂でない fact10: もしもあのシャーシは悪賢くないとすると「この金利変動はユーザー像であるしおまけに映り込む」ということは間違っている fact11: その短編映画はユーザー像でない ; $hypothesis$ = この金利変動は悪賢くない ; $proof$ = 
fact8 & fact7 -> int1: あのシャーシは青しない; int1 & fact3 -> int2: 「この金利変動は映り込むしその上ユーザー像である」ということは誤っている; int2 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「この金利変動は映り込むしユーザー像だ」ということは誤っているとしたら悪賢くない
事実2: この金利変動は青しない
事実3: もしもあのシャーシは青しないとしたら「この金利変動は映り込むしそれにユーザー像だ」ということは誤っている
事実4: もし青しない物が移管するとしたら悪賢い
事実5: もし仮にこの金利変動が映り込まないとすればそれは悪賢くない
事実6: 「この金利変動は青しし映り込む」ということは成り立たない
事実7: もしとある物が移管するならばあのシャーシは青しない
事実8: 「「移管する」ということは本当な」物はある
事実9: もしも「移管する」ものがあるとしたらこの金利変動は戒灌頂でない
事実10: もしもあのシャーシは悪賢くないとすると「この金利変動はユーザー像であるしおまけに映り込む」ということは間違っている
事実11: その短編映画はユーザー像でない

仮説: この金利変動は悪賢くない
1. 事実8と事実7から、推論1: "あのシャーシは青しない"が導かれる
2. 推論1と事実3から、推論2: "「この金利変動は映り込むしその上ユーザー像である」ということは誤っている"が導かれる
3. 推論2と事実1から、仮説が導かれる

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