このテストピースは輪廻する一方でそれは踏み荒らさない
fact1: 「このテストピースは輪廻するけど踏み荒らすということはない」ということは成り立たない
$facts$ = fact1: 「このテストピースは輪廻するけど踏み荒らすということはない」ということは成り立たない ; $hypothesis$ = このテストピースは輪廻する一方でそれは踏み荒らさない ; $proof$ = 
事実1: 「このテストピースは輪廻するけど踏み荒らすということはない」ということは成り立たない

仮説: このテストピースは輪廻する一方でそれは踏み荒らさない