この機械加工は水煮缶であるが正座しない
fact1: 「仲間らしくないか素早くないかもしくはどちらもな」物はある fact2: 「この機械加工は水煮缶だしその上正座する」ということは成り立たない fact3: もしも「素早くない」ものがあるとするとこの機械加工は慕わしい fact4: もしも何かは仲間らしくないかまたは素早くないか両方ともであるとすればこの機械加工は慕わしい fact5: 仮にこの機械加工は慕わしいとしたら「水煮缶であるが正座しない」ということは偽である fact6: もし仮にこの機械加工は慕わしいなら「それは水煮缶であるし正座する」ということは成り立つということはない fact7: とある物は素早いなら「それは仲間らしいけどラ音でない」ということは嘘だ
fact1 & fact4 -> int1: 「この機械加工は慕わしい」ということは真実だ; int1 & fact5 -> hypothesis;
fact1 & fact4 -> int1: {C}{a}; int1 & fact5 -> hypothesis;
「あの雑誌等は仲間らしい一方でラ音でない」ということは成り立たない
fact8 -> int2: あの雑誌等は素早いなら「それは仲間らしいしさらにそれはラ音でない」ということは成り立つということはない;
$facts$ = fact1: 「仲間らしくないか素早くないかもしくはどちらもな」物はある fact2: 「この機械加工は水煮缶だしその上正座する」ということは成り立たない fact3: もしも「素早くない」ものがあるとするとこの機械加工は慕わしい fact4: もしも何かは仲間らしくないかまたは素早くないか両方ともであるとすればこの機械加工は慕わしい fact5: 仮にこの機械加工は慕わしいとしたら「水煮缶であるが正座しない」ということは偽である fact6: もし仮にこの機械加工は慕わしいなら「それは水煮缶であるし正座する」ということは成り立つということはない fact7: とある物は素早いなら「それは仲間らしいけどラ音でない」ということは嘘だ ; $hypothesis$ = この機械加工は水煮缶であるが正座しない ; $proof$ = 
fact1 & fact4 -> int1: 「この機械加工は慕わしい」ということは真実だ; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「仲間らしくないか素早くないかもしくはどちらもな」物はある
事実2: 「この機械加工は水煮缶だしその上正座する」ということは成り立たない
事実3: もしも「素早くない」ものがあるとするとこの機械加工は慕わしい
事実4: もしも何かは仲間らしくないかまたは素早くないか両方ともであるとすればこの機械加工は慕わしい
事実5: 仮にこの機械加工は慕わしいとしたら「水煮缶であるが正座しない」ということは偽である
事実6: もし仮にこの機械加工は慕わしいなら「それは水煮缶であるし正座する」ということは成り立つということはない
事実7: とある物は素早いなら「それは仲間らしいけどラ音でない」ということは嘘だ

仮説: この機械加工は水煮缶であるが正座しない
1. 事実1と事実4から、推論1: "「この機械加工は慕わしい」ということは真実だ"が導かれる
2. 推論1と事実5から、仮説が否定される

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