そのセファログラムは馳せ参ずるが親権喪失でない
fact1: 「なんらかの物は寂しかない」ということは事実だとすると「それは糖鎖だけど親権喪失でない」ということは嘘だ fact2: その著者等は寂しい fact3: もしなにがしかのものが寂しいとすれば馳せ参ずる一方で親権喪失でない fact4: もし「なにかは寄宿する一方で物悲しくない」ということは成り立たないならばそれは寂しかない fact5: 仮にその著者等が物悲しいならばそのセファログラムは寂しい fact6: もし仮に「その著者等は寂しい」ということは確かならば「そのセファログラムは馳せ参ずるけど親権喪失でない」ということは成り立たない fact7: もし仮にこの京が労労じないとすればそれはパルス回路であるし誇りっぽい fact8: もしもある物はパルス回路だとすると「それは寄宿するしまたそれは物悲しくない」ということは成り立たない
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
「この京は糖鎖だがしかし親権喪失でない」ということは誤りだ
fact12 -> int1: この京は寂しかないなら「糖鎖だしかつ親権喪失でない」ということは誤りだ; fact10 -> int2: 「「この京は寄宿するけどそれは物悲しくない」ということは本当でない」ということは成り立てば寂しかない; fact11 -> int3: もしこの京はパルス回路だとすると「それは寄宿するがしかし物悲しいということはない」ということは間違いだ;
$facts$ = fact1: 「なんらかの物は寂しかない」ということは事実だとすると「それは糖鎖だけど親権喪失でない」ということは嘘だ fact2: その著者等は寂しい fact3: もしなにがしかのものが寂しいとすれば馳せ参ずる一方で親権喪失でない fact4: もし「なにかは寄宿する一方で物悲しくない」ということは成り立たないならばそれは寂しかない fact5: 仮にその著者等が物悲しいならばそのセファログラムは寂しい fact6: もし仮に「その著者等は寂しい」ということは確かならば「そのセファログラムは馳せ参ずるけど親権喪失でない」ということは成り立たない fact7: もし仮にこの京が労労じないとすればそれはパルス回路であるし誇りっぽい fact8: もしもある物はパルス回路だとすると「それは寄宿するしまたそれは物悲しくない」ということは成り立たない ; $hypothesis$ = そのセファログラムは馳せ参ずるが親権喪失でない ; $proof$ = 
fact6 & fact2 -> hypothesis; __DISPROVED__
事実1: 「なんらかの物は寂しかない」ということは事実だとすると「それは糖鎖だけど親権喪失でない」ということは嘘だ
事実2: その著者等は寂しい
事実3: もしなにがしかのものが寂しいとすれば馳せ参ずる一方で親権喪失でない
事実4: もし「なにかは寄宿する一方で物悲しくない」ということは成り立たないならばそれは寂しかない
事実5: 仮にその著者等が物悲しいならばそのセファログラムは寂しい
事実6: もし仮に「その著者等は寂しい」ということは確かならば「そのセファログラムは馳せ参ずるけど親権喪失でない」ということは成り立たない
事実7: もし仮にこの京が労労じないとすればそれはパルス回路であるし誇りっぽい
事実8: もしもある物はパルス回路だとすると「それは寄宿するしまたそれは物悲しくない」ということは成り立たない

仮説: そのセファログラムは馳せ参ずるが親権喪失でない
1. 事実6と事実2から、仮説が否定される

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