この暫定は同席者だということはないけれど回る
fact1: 「この暫定は引き取らないけど同席者だ」ということは嘘である fact2: もしもこの暫定は勢い付けば「それは同席者だということはないしまたそれは回る」ということは成り立たない fact3: 「この暫定は交換し合わない一方で回る」ということは本当でない fact4: 「この暫定は同席者でないがしかし揺るぎない」ということは誤っている fact5: 「この暫定は勢い付く」ということは確かである fact6: 「この四十字以内は勢い付く」ということは確かである
fact2 & fact5 -> hypothesis;
fact2 & fact5 -> hypothesis;
$facts$ = fact1: 「この暫定は引き取らないけど同席者だ」ということは嘘である fact2: もしもこの暫定は勢い付けば「それは同席者だということはないしまたそれは回る」ということは成り立たない fact3: 「この暫定は交換し合わない一方で回る」ということは本当でない fact4: 「この暫定は同席者でないがしかし揺るぎない」ということは誤っている fact5: 「この暫定は勢い付く」ということは確かである fact6: 「この四十字以内は勢い付く」ということは確かである ; $hypothesis$ = この暫定は同席者だということはないけれど回る ; $proof$ = 
fact2 & fact5 -> hypothesis; __DISPROVED__
事実1: 「この暫定は引き取らないけど同席者だ」ということは嘘である
事実2: もしもこの暫定は勢い付けば「それは同席者だということはないしまたそれは回る」ということは成り立たない
事実3: 「この暫定は交換し合わない一方で回る」ということは本当でない
事実4: 「この暫定は同席者でないがしかし揺るぎない」ということは誤っている
事実5: 「この暫定は勢い付く」ということは確かである
事実6: 「この四十字以内は勢い付く」ということは確かである

仮説: この暫定は同席者だということはないけれど回る
1. 事実2と事実5から、仮説が否定される

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