その七フレーム目は呼び易くないが青い
fact1: もし「なんらかの物は藁葺き屋根でないしさらにそれは成され易くない」ということは誤りであるとすると青くない fact2: 「その叱り方は各粒子でない」ということは正しい fact3: もし仮にある物は浮腫まないとしたら「着陸場である一方で尖むない」ということは事実と異なる fact4: 「その七フレーム目は呼び易いしその上青い」ということは偽だ fact5: もしそのマイ・レーベンは藁葺き屋根でないとすれば「その七フレーム目は呼び易いということはないがそれは青い」ということは成り立たない fact6: 「成され易くないものは呼び易くないけど青い」ということは成り立つ fact7: もし仮に「「浮腫むけど物語言説でない」ということは事実と異なる」ものがあるとすればあのマイ・レーベンは浮腫むということはない fact8: 仮にその叱り方が整理保管すればその七フレーム目は呼び易い fact9: もしそのマイ・レーベンは青くないならば「その七フレーム目は成され易いということはないけれど藁葺き屋根である」ということは成り立たない fact10: もしその七フレーム目は呼び易いとすれば「そのマイ・レーベンは呼び易い」ということは本当だ fact11: もし仮に「なにかは藁葺き屋根だし整理保管する」ということは嘘ならそれは成され易くない fact12: その叱り方は各粒子でないとしたら「それは浮腫むけれど物語言説でない」ということは成り立たない fact13: もし仮に「とあるものは着陸場であるけど尖むない」ということは誤っているとするとそれは着陸場だということはない fact14: そのマイ・レーベンは成され易くないしまた藁葺き屋根でない fact15: 仮にとある物は呼び易いとすると「「藁葺き屋根でなくてそれは成され易くない」ということは確かである」ということは誤りである fact16: もし仮にその七フレーム目は青くないとすれば「そのマイ・レーベンは呼び易くないけれどそれは成され易い」ということは確かでない
fact14 -> int1: そのマイ・レーベンは藁葺き屋根でない; int1 & fact5 -> hypothesis;
fact14 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
その七フレーム目は呼び易いということはないけど青い
fact19 -> int2: もしその七フレーム目が成され易くないとすれば呼び易くないけれど青い; fact20 -> int3: 仮に「その七フレーム目は藁葺き屋根だし加えて整理保管する」ということは成り立つということはないとすると成され易くない; fact18 -> int4: もし仮に「そのマイ・レーベンは着陸場である一方で尖むない」ということは誤っているなら「着陸場でない」ということは成り立つ; fact17 -> int5: そのマイ・レーベンは浮腫むということはないなら「着陸場だが尖むない」ということは間違っている; fact22 & fact23 -> int6: 「その叱り方は浮腫むが物語言説であるということはない」ということは成り立たない; int6 -> int7: 「「浮腫むし加えて物語言説でない」ということは誤りである」物はある; int7 & fact21 -> int8: そのマイ・レーベンは浮腫まない; int5 & int8 -> int9: 「そのマイ・レーベンは着陸場だ一方で尖むということはない」ということは偽である; int4 & int9 -> int10: 「そのマイ・レーベンは着陸場でない」ということは正しい; int10 -> int11: 「着陸場だということはない」物はある;
$facts$ = fact1: もし「なんらかの物は藁葺き屋根でないしさらにそれは成され易くない」ということは誤りであるとすると青くない fact2: 「その叱り方は各粒子でない」ということは正しい fact3: もし仮にある物は浮腫まないとしたら「着陸場である一方で尖むない」ということは事実と異なる fact4: 「その七フレーム目は呼び易いしその上青い」ということは偽だ fact5: もしそのマイ・レーベンは藁葺き屋根でないとすれば「その七フレーム目は呼び易いということはないがそれは青い」ということは成り立たない fact6: 「成され易くないものは呼び易くないけど青い」ということは成り立つ fact7: もし仮に「「浮腫むけど物語言説でない」ということは事実と異なる」ものがあるとすればあのマイ・レーベンは浮腫むということはない fact8: 仮にその叱り方が整理保管すればその七フレーム目は呼び易い fact9: もしそのマイ・レーベンは青くないならば「その七フレーム目は成され易いということはないけれど藁葺き屋根である」ということは成り立たない fact10: もしその七フレーム目は呼び易いとすれば「そのマイ・レーベンは呼び易い」ということは本当だ fact11: もし仮に「なにかは藁葺き屋根だし整理保管する」ということは嘘ならそれは成され易くない fact12: その叱り方は各粒子でないとしたら「それは浮腫むけれど物語言説でない」ということは成り立たない fact13: もし仮に「とあるものは着陸場であるけど尖むない」ということは誤っているとするとそれは着陸場だということはない fact14: そのマイ・レーベンは成され易くないしまた藁葺き屋根でない fact15: 仮にとある物は呼び易いとすると「「藁葺き屋根でなくてそれは成され易くない」ということは確かである」ということは誤りである fact16: もし仮にその七フレーム目は青くないとすれば「そのマイ・レーベンは呼び易くないけれどそれは成され易い」ということは確かでない ; $hypothesis$ = その七フレーム目は呼び易くないが青い ; $proof$ = 
fact14 -> int1: そのマイ・レーベンは藁葺き屋根でない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし「なんらかの物は藁葺き屋根でないしさらにそれは成され易くない」ということは誤りであるとすると青くない
事実2: 「その叱り方は各粒子でない」ということは正しい
事実3: もし仮にある物は浮腫まないとしたら「着陸場である一方で尖むない」ということは事実と異なる
事実4: 「その七フレーム目は呼び易いしその上青い」ということは偽だ
事実5: もしそのマイ・レーベンは藁葺き屋根でないとすれば「その七フレーム目は呼び易いということはないがそれは青い」ということは成り立たない
事実6: 「成され易くないものは呼び易くないけど青い」ということは成り立つ
事実7: もし仮に「「浮腫むけど物語言説でない」ということは事実と異なる」ものがあるとすればあのマイ・レーベンは浮腫むということはない
事実8: 仮にその叱り方が整理保管すればその七フレーム目は呼び易い
事実9: もしそのマイ・レーベンは青くないならば「その七フレーム目は成され易いということはないけれど藁葺き屋根である」ということは成り立たない
事実10: もしその七フレーム目は呼び易いとすれば「そのマイ・レーベンは呼び易い」ということは本当だ
事実11: もし仮に「なにかは藁葺き屋根だし整理保管する」ということは嘘ならそれは成され易くない
事実12: その叱り方は各粒子でないとしたら「それは浮腫むけれど物語言説でない」ということは成り立たない
事実13: もし仮に「とあるものは着陸場であるけど尖むない」ということは誤っているとするとそれは着陸場だということはない
事実14: そのマイ・レーベンは成され易くないしまた藁葺き屋根でない
事実15: 仮にとある物は呼び易いとすると「「藁葺き屋根でなくてそれは成され易くない」ということは確かである」ということは誤りである
事実16: もし仮にその七フレーム目は青くないとすれば「そのマイ・レーベンは呼び易くないけれどそれは成され易い」ということは確かでない

仮説: その七フレーム目は呼び易くないが青い
1. 事実14から、推論1: "そのマイ・レーベンは藁葺き屋根でない"が導かれる
2. 推論1と事実5から、仮説が否定される

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