この支社長はパッションだ
fact1: 「この塗り絵はコードページだ」ということは成り立つ fact2: もしもなにかは指圧しないとするとそれはパッションであるし練磨する fact3: この支社長は指圧する fact4: 仮にとある物は理性であるし極まりないならばそれは指圧しない fact5: もし仮に「とあるものは伝え難くない」ということは成り立つとするとそれは理性だし極まりない fact6: このコムは練磨する fact7: そのがり版は指圧する fact8: この塗り絵は階層性である fact9: この支社長は練磨する fact10: なにかは練磨するしその上指圧するならパッションでない
fact9 & fact3 -> int1: この支社長は練磨するしそれは指圧する; fact10 -> int2: この支社長が練磨するしさらに指圧するとすればパッションでない; int1 & int2 -> hypothesis;
この支社長はパッションである
fact15 -> int3: もしこの支社長が指圧しないならばパッションで練磨する; fact14 -> int4: もし仮にこの支社長は理性であるしかつ極まりないなら指圧しない; fact12 -> int5: もしこの支社長が伝え難くないとすると理性だしさらに極まりない; fact13 & fact11 -> int6: この塗り絵はコードページであるしまたそれは階層性だ; int6 -> int7: 「コードページで更に階層性である」物はある;
$facts$ = fact1: 「この塗り絵はコードページだ」ということは成り立つ fact2: もしもなにかは指圧しないとするとそれはパッションであるし練磨する fact3: この支社長は指圧する fact4: 仮にとある物は理性であるし極まりないならばそれは指圧しない fact5: もし仮に「とあるものは伝え難くない」ということは成り立つとするとそれは理性だし極まりない fact6: このコムは練磨する fact7: そのがり版は指圧する fact8: この塗り絵は階層性である fact9: この支社長は練磨する fact10: なにかは練磨するしその上指圧するならパッションでない ; $hypothesis$ = この支社長はパッションだ ; $proof$ = 
fact9 & fact3 -> int1: この支社長は練磨するしそれは指圧する; fact10 -> int2: この支社長が練磨するしさらに指圧するとすればパッションでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「この塗り絵はコードページだ」ということは成り立つ
事実2: もしもなにかは指圧しないとするとそれはパッションであるし練磨する
事実3: この支社長は指圧する
事実4: 仮にとある物は理性であるし極まりないならばそれは指圧しない
事実5: もし仮に「とあるものは伝え難くない」ということは成り立つとするとそれは理性だし極まりない
事実6: このコムは練磨する
事実7: そのがり版は指圧する
事実8: この塗り絵は階層性である
事実9: この支社長は練磨する
事実10: なにかは練磨するしその上指圧するならパッションでない

仮説: この支社長はパッションだ
1. 事実9と事実3から、推論1: "この支社長は練磨するしそれは指圧する"が導かれる
2. 事実10から、推論2: "この支社長が練磨するしさらに指圧するとすればパッションでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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