この黒木軍は捏ねるということはない
fact1: とある物はシステムツールであるけれどクローでない fact2: もしもシステムツールがクローでないならこの黒木軍は捏ねない
$facts$ = fact1: とある物はシステムツールであるけれどクローでない fact2: もしもシステムツールがクローでないならこの黒木軍は捏ねない ; $hypothesis$ = この黒木軍は捏ねるということはない ; $proof$ = 
事実1: とある物はシステムツールであるけれどクローでない
事実2: もしもシステムツールがクローでないならこの黒木軍は捏ねない

仮説: この黒木軍は捏ねるということはない